A Hierarchy of Behavioral Equivalences in the π-calculus with Noisy Channels.
- Published in:
- Computer Journal, 2010, v. 53, n. 1, p. 3, doi. 10.1093/comjnl/bxn006
- By:
- Publication type:
- Article
Works matching DE "PI-calculus"
Results: 14
1
2
Design of a biomolecular device that executes process algebra.
- Published in:
- Natural Computing, 2011, v. 10, n. 1, p. 447, doi. 10.1007/s11047-010-9235-8
- By:
- Publication type:
- Article
3
Uniqueness typing for resource management in message-passing concurrency.
- Published in:
- Journal of Logic & Computation, 2014, v. 24, n. 3, p. 531, doi. 10.1093/logcom/exs022
- By:
- Publication type:
- Article
4
A spatial equational logic for the applied π-calculus.
- Published in:
- Distributed Computing, 2010, v. 23, n. 1, p. 61, doi. 10.1007/s00446-010-0112-6
- By:
- Publication type:
- Article
5
A new natural structural congruence in the pi-calculus with replication.
- Published in:
- Acta Informatica, 2004, v. 40, n. 6, p. 385, doi. 10.1007/s00236-004-0141-3
- By:
- Publication type:
- Article
6
A fully abstract semantics for causality in the ...
- Published in:
- Acta Informatica, 1998, v. 35, n. 5, p. 353, doi. 10.1007/s002360050124
- By:
- Publication type:
- Article
7
FROM COMPUTING TO INTERACTION: ON THE EXPRESSIVENESS OF ASYNCHRONOUS PI-CALCULUS.
- Published in:
- International Journal of Foundations of Computer Science, 2013, v. 24, n. 3, p. 349, doi. 10.1142/S0129054113500081
- By:
- Publication type:
- Article
8
Tuning Temporal Features within the Stochastic ?-Calculus.
- Published in:
- IEEE Transactions on Software Engineering, 2011, v. 37, n. 6, p. 858, doi. 10.1109/TSE.2010.95
- By:
- Publication type:
- Article
9
A model of large-scale Device Collaboration system based on PI-Calculus for green communication.
- Published in:
- Telecommunication Systems, 2013, v. 52, n. 2, p. 1313, doi. 10.1007/s11235-011-9643-9
- By:
- Publication type:
- Article
10
A finite equivalence of multisecret sharing based on Lagrange interpolating polynomial.
- Published in:
- Security & Communication Networks, 2013, v. 6, n. 9, p. 1169, doi. 10.1002/sec.694
- By:
- Publication type:
- Article
11
Linearity, session types and the Pi calculus.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 2, p. 206, doi. 10.1017/S0960129514000176
- By:
- Publication type:
- Article
12
Higher-order psi-calculi.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 2, p. 1, doi. 10.1017/S0960129513000170
- By:
- Publication type:
- Article
13
Modeling high assurance agent-based Earthquake Management System using formal techniques.
- Published in:
- Journal of Supercomputing, 2010, v. 52, n. 2, p. 97, doi. 10.1007/s11227-009-0266-9
- By:
- Publication type:
- Article
14
Archimedes.
- Published in:
- Resonance: Journal of Science Education, 2006, v. 11, n. 10, p. 3, doi. 10.1007/BF02835670
- By:
- Publication type:
- Article