Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations.

Leila Ribeiro Hartmut Ehrig Julia Padberg

Published in: SBES (1993)

Keyphrases

concurrent systems
high level
low level
formal specification
distributed systems
temporal logic
development environment
development process
model checking
mathematical theory
rapid development
decision support
object oriented
data sets
formal model
design process
knowledge based systems
case study