A language theoretic approach to serialization problem in concurrent systems.

Marie-Paule Flé Gérard Roucairol

Published in: FCT (1985)

Keyphrases

concurrent systems
process algebra
temporal logic
distributed systems
programming language
model checking
formal specification
transition systems
petri net
language learning
specification language
natural language
language processing
database concurrency control
quality of service
relational databases
high level