Specification of Timing Constraints within the Circal Process Algebra.
Antonio CeroneGeorge J. MilnePublished in: AMAST (1997)
Keyphrases
- process algebra
- timing constraints
- formal specification
- asynchronous circuits
- formal methods
- concurrent systems
- model checking
- real time systems
- real time databases
- embedded devices
- web services composition
- active databases
- real time database systems
- execution model
- communication protocols
- real time
- concurrency control
- resource constraints
- security requirements
- petri net
- transaction processing
- temporal logic
- distributed systems
- formal languages
- databases
- database
- web service composition