Refinement of actions and equivalence notions for concurrent systems.

Rob J. van Glabbeek Ursula Goltz

Published in: Acta Informatica (2001)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
formal specification
transition systems
petri net
model checking
human actions
situation calculus
plan recognition
artificial intelligence
information systems
web services
case study
refinement process