Abstraction and Nondeterminism in Concurrent Systems.

George J. Milne

Published in: ICDCS (1982)

Keyphrases

concurrent systems
temporal logic
process algebra
distributed systems
formal specification
model checking
petri net
data abstraction
transition systems
situation calculus
high level
real time
htn planning
genetic algorithm
web services
relational databases