Login / Signup
Algebraic Specification of Concurrent Systems.
S. Kaplan
Published in:
Theor. Comput. Sci. (1989)
Keyphrases
</>
concurrent systems
transition systems
formal specification
process algebra
temporal logic
model checking
distributed systems
petri net
specification language
high level
formal methods
information systems
databases
formal verification
reactive systems
algebraic structure
neural network