Login / Signup
Synchrony vs Causality in the Asynchronous Pi-Calculus
Kirstin Peters
Jens-Wolfhard Schicke
Uwe Nestmann
Published in:
EXPRESS (2011)
Keyphrases
</>
causal inference
audio visual
discussion forums
state machines
data sets
content analysis
causal relationships
online discussion
causal relations
discussion groups
query language
causal models
automated theorem proving
algebraic structure
computer algebra