Generic operational decomposition for concurrent systems: Semantics and Reflection.
Annie MarcouxChristine MaurelFrédéric MigeonPatrick SalléPublished in: Scalable Comput. Pract. Exp. (1998)
Keyphrases
- concurrent systems
- process algebra
- temporal logic
- distributed systems
- formal specification
- model checking
- transition systems
- petri net
- specification language
- domain specific
- formal semantics
- decision making
- decomposition method
- image decomposition
- asynchronous circuits
- semantic information
- conceptual model
- object oriented
- wavelet packet
- decomposition algorithm
- high level
- artificial intelligence