OO-Motivated Process Algebra: A Calculus for CORBA-like Systems.
Malcolm TyrrellAndrew ButterfieldAlexis DonnellyPublished in: Rigorous Object-Oriented Methods (2000)
Keyphrases
- process algebra
- asynchronous circuits
- formal methods
- distributed systems
- object oriented
- model checking
- concurrent systems
- distributed object
- formal specification
- communication protocols
- formal languages
- software components
- concurrent programs
- information systems
- lightweight
- communication networks
- knowledge based systems
- general purpose
- query language
- expert systems