Abstraction and composition in Δ-specifications of concurrent systems.

Joseph P. Loyall Simon M. Kaplan Steven K. Goering

Published in: IWSSD (1991)

Keyphrases

concurrent systems
formal specification
transition systems
temporal logic
distributed systems
process algebra
petri net
model checking
data abstraction
high level
web service composition
bounded model checking
decision theoretic planning
data model
object oriented
music composition