Development of Concurrent Systems by Incremental Transformations.

E. Pascal Gribomont

Published in: ESOP (1990)

Keyphrases

concurrent systems
case study
temporal logic
information processing
software engineering
knowledge management
data driven
petri net
model checking
transition systems
data sets
e learning
website
multi agent
st century