MASL: A Logic for the Specification of Multiagent Real-Time Systems.
Dmitry BugaychenkoIgor SolovievPublished in: CEEMAS (2007)
Keyphrases
- real time systems
- multi agent
- asynchronous circuits
- reactive systems
- real time
- transition systems
- state machine
- distributed systems
- formal language
- linear temporal logic
- multiagent systems
- embedded systems
- real time database systems
- logic programming
- high level
- cooperative
- modal logic
- mission critical
- timing constraints
- operational semantics
- multi agent systems
- active rules
- formal specification
- data streams
- agent communication
- anytime algorithms
- petri net
- object oriented
- real time embedded