A Construction of Concurrent Systems by Means of Sequential Solutions and Concurrency Relations.

Ryszard Janicki

Published in: ICFPC (1981)

Keyphrases

concurrent systems
temporal logic
process algebra
model checking
distributed systems
database systems
formal specification
petri net
transition systems
solution space
spatial relations
benchmark problems
optimal solution
neural network
software systems
source code
open source
temporal relations