Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract).

Rob J. van Glabbeek Ursula Goltz

Published in: MFCS (1989)

Keyphrases

extended abstract
concurrent systems
temporal logic
distributed systems
process algebra
transition systems
petri net
formal specification
model checking
human actions
refinement process
plan recognition
situation calculus
decision theoretic
equivalence relation
speech acts
object oriented