Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems.

Harald Fecher Heiko Schmidt

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

process algebra
concurrent systems
temporal logic
distributed systems
formal specification
model checking
concurrent programs
petri net
grid workflow
formal methods
web services composition
asynchronous circuits
machine learning
artificial intelligence
relational databases
open source