Login / Signup
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus.
Diletta Cacciagrano
Flavio Corradini
Jesús Aranda
Frank D. Valencia
Published in:
EXPRESS (2007)
Keyphrases
</>
process algebra
asynchronous circuits
algebraic structure
formal semantics
database query languages
formal language
semantic information
proof theoretic
relational calculus
logic programming
databases
propositional logic
operational semantics
conceptual model
model checking
test cases
relational databases