Generic Process Algebra: A Programming Challenge.
Paula R. RibeiroMarco Antonio BarbosaLuís Soares BarbosaPublished in: J. Univers. Comput. Sci. (2006)
Keyphrases
- process algebra
- programming environment
- concurrent systems
- formal specification
- asynchronous circuits
- model checking
- formal methods
- web services composition
- communication protocols
- concurrent programs
- programming language
- grid workflow
- petri net
- formal languages
- high level
- object oriented
- web services
- reverse engineering
- general purpose
- artificial intelligence