Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems.

Alessandro Giovini Franco Morando Antonio Capani

Published in: ALP (1992)

Keyphrases

concurrent systems
transition systems
temporal logic
distributed systems
process algebra
formal specification
petri net
model checking
rapid prototyping
development process
real time
efficient implementation
code generation
specification language
rule base
production system
relational databases