Process Algebra with Four-Valued Logic.
Jan A. BergstraAlban PonsePublished in: J. Appl. Non Class. Logics (2000)
Keyphrases
- process algebra
- valued logic
- concurrent systems
- formal specification
- model checking
- asynchronous circuits
- classical logic
- propositional logic
- formal methods
- fuzzy logic
- web services composition
- fuzzy sets
- communication protocols
- first order logic
- multi valued
- logic programs
- automated reasoning
- petri net
- truth values
- temporal logic
- distributed systems
- programming environment
- datalog programs
- logic programming
- stable models
- belief revision
- genetic algorithm
- formal languages
- modal logic
- web service composition
- rough sets
- highly reliable
- expert systems
- neural network
- pattern recognition
- decision making
- service composition