On Sharing and Determinacy in Concurrent Systems.

Anna Philippou David Walker

Published in: CONCUR (1995)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
model checking
transition systems
formal specification
petri net
information sharing
knowledge sharing
neural network
data exchange
database
share information
information dissemination
software engineering
databases