A process algebra to formalize the Lyee methodology.

Hamido Fujita Mohamed Mejri Béchir Ktari

Published in: Knowl. Based Syst. (2004)

Keyphrases

process algebra
concurrent systems
formal specification
model checking
asynchronous circuits
formal methods
communication protocols
web services composition
grid workflow
concurrent programs
database
case study
programming language