multiPDEVS: A Parallel Multicomponent System Specification Formalism.
Damien FouresRomain FranceschiniPaul-Antoine BisgambigliaBernard P. ZeiglerPublished in: Complex. (2018)
Keyphrases
- transition systems
- formal language
- high level
- parallel implementation
- operational semantics
- knowledge representation
- formal specification
- computational properties
- specification language
- real time
- action language
- data sets
- genetic algorithm
- formal verification
- parallel programming
- search algorithm
- logical framework
- trade off
- computer architecture
- massively parallel
- conceptual graphs
- database
- business rules
- multi agent systems
- user defined