Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study.
Siegfried FischerAndreas ScholzDirk TaubnerPublished in: CAV (1992)
Keyphrases
- process algebra
- distributed control
- concurrent systems
- model checking
- asynchronous circuits
- formal methods
- autonomous agents
- temporal logic
- grid workflow
- formal specification
- cooperative
- concurrent programs
- real time
- multi agent
- distributed systems
- control architecture
- case study
- communication protocols
- protocol specification
- autonomous vehicles
- web services composition
- travel time
- information exchange
- petri net