On the Parameterized Algebraic Specification of Concurrent Systems.

Egidio Astesiano Gianfranco Mascari Gianna Reggio Martin Wirsing

Published in: TAPSOFT, Vol.1 (1985)

Keyphrases

concurrent systems
transition systems
formal specification
process algebra
temporal logic
distributed systems
model checking
specification language
petri net
high level
reactive systems
linear algebra
communication networks
communication protocols
conceptual model
knowledge acquisition
data warehouse
knowledge base