Login / Signup
The Equational Theory of Weak Complete Simulation Semantics over BCCSP.
Luca Aceto
David de Frutos-Escrig
Carlos Gregorio-Rodríguez
Anna Ingólfsdóttir
Published in:
SOFSEM (2012)
Keyphrases
</>
general theory
speech acts
theoretical basis
theoretical framework
formal semantics
equational theories
logical properties
proof theory
theorem proving
simulation model
numerical simulations
logic programming
logical framework
semantic information
computational model
model theoretic
object oriented
neural network