Formal description
Related papers: 6
Top Researchers
Top Cited Papers
Eco-Grammar Systems: A Grammatical Framework for Studying Lifelike Interactions
Erzsébet Csuhaj-Varjú, Jozef Kelemen, Alica Kelemenová, Gheorghe Pǎun
Citations: 65 • 1997
Eco-Grammar Systems: A Grammatical Framework for Studying Lifelike Interactions
Erzsébet Csuhaj-Varjú, Jozef Kelemen, Alica Kelemenová, Gheorghe Pǎun
Citations: 44 • 1997
On the Formal Specification of Emergent Behaviours of Swarm Robotics Systems
Alan Winfield, Jin Sa, Carmen Fernández-Gago, Clare Dixon, Michale Fisher
Citations: 12 • 2005
A Formal Semantics for Brahms
Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher
Citations: 9 • 2011
Abstractions for Collective Adaptive Systems
Omar Inverso, Catia Trubiani, Emilio Tuosto
Citations: 8 • 2020
Logical Formal Description of Expert Systems
Manuel De la Sen, J.J. Miñambres, Aitor J. Garrido, A. Almansa
Citations: 6 • 2002