Вы здесь

Главная

пи-исчисление

Связанные издания:

A theory of structural stationarity in the Pi-Calculus
CONCUR 2005 - Concurrency Theory: Proc./16th International Conference, CONCUR 2005. San Francisco, CA, USA, August 2005
Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra
Foundations of Web Transactions
Genericity and the pi-calculus
Model-Checking for pi-Calculus Using Proof Search
Petri Net Semantics of the Finite pi-Calculus
Subtyping for session types in the pi calculus
Towards an Algebraic Theory of Typed Mobile Processes
Transactions on Computational Systems Biology VII
Transactions on Petri Nets and Other Models of Concurrency III
Type-based information flow analysis for the pi-calculus
Type-Directed Concurrency
Verification, Model Checking, and Abstract Interpretation: Proc./7th International Conference, VMCAI 2006. Charleston, SC, USA, January 2006