Formal Modelling and Verification of Concurrent Systems with XCCS.
Piotr MatyasikMarcin SzpyrkaPublished in: ISPDC (2008)
Keyphrases
- concurrent systems
- formal specification
- model checking
- distributed systems
- process algebra
- temporal logic
- transition systems
- petri net
- formal methods
- formal model
- reverse engineering
- information systems
- belief revision
- knowledge representation
- communication networks
- reactive systems
- artificial intelligence
- neural network
- database