High Level Transition Systems for Communicating Agents.

François Vernadat Pierre Azéma

Published in: Concurrent Object-Oriented Programming and Petri Nets (2001)

Keyphrases

transition systems
communicating agents
high level
model checking
concurrent systems
temporal logic
artificial agents
control flow
finite state
practical reasoning
event calculus
data flow
distributed systems
formal specification
situation calculus
modal logic
programming language
object oriented
multi agent systems