Login / Signup
Synchronic Distance in Process Algebra.
Han Zuidweg
Published in:
FORTE (1990)
Keyphrases
</>
process algebra
concurrent systems
formal specification
asynchronous circuits
model checking
formal methods
communication protocols
concurrent programs
web services composition
artificial intelligence
general purpose
belief revision