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