Formalizing Agent-Based English Auctions Using Finite State Process Algebra.
Amelia BadicaCostin BadicaPublished in: J. Univers. Comput. Sci. (2008)
Keyphrases
- finite state
- process algebra
- model checking
- temporal logic
- formal specification
- concurrent systems
- formal methods
- asynchronous circuits
- concurrent programs
- markov chain
- machine translation
- natural language
- transition systems
- web services composition
- multi agent systems
- markov decision processes
- tree automata
- communication protocols
- petri net
- building blocks
- finite state transducers
- information systems