Modular Algebraic Nets to Specify Concurrent Systems.

Eugenio Battiston Fiorella de Cindio Giancarlo Mauri

Published in: IEEE Trans. Software Eng. (1996)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
transition systems
petri net
model checking
formal specification
modular neural networks
data sets
software engineering
access control
algebraic structure
modular structure
modular architecture