Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic.
David J. PymChris M. N. ToftsPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- logic programming
- formal language
- management system
- proof theory
- artificial intelligence
- algebraic structure
- computational properties
- communication channels
- dynamic aspects
- proof theoretic
- transition systems
- process algebra
- asynchronous circuits
- digital circuits
- operational semantics
- active rules
- formal semantics
- model checking
- complex systems
- distributed systems