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