Login / Signup
Distributed execution of bigraphical reactive systems.
Alessio Mansutti
Marino Miculan
Marco Peressotti
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2014)
Keyphrases
</>
reactive systems
control flow
distributed systems
model checking
concurrent execution
computer networks
petri net
multi agent
parallel execution
data flow
distributed environment
mobile agents
temporal logic
information flow
fault tolerant
software development
state machines
artificial intelligence