On Language Restrictions to Ensure Deterministic Behavior in Concurrent Systems.
Arthur J. BernsteinFred B. SchneiderPublished in: Jerusalem Conference on Information Technology (1978)
Keyphrases
- concurrent systems
- process algebra
- temporal logic
- distributed systems
- programming language
- formal specification
- model checking
- transition systems
- petri net
- natural language
- database languages
- language learning
- object oriented programming
- human behavior
- finite state automaton
- specification language
- natural language processing