Theory by process

Authors:
Yuxi Fu
Affiliations:
BASICS, Department of Computer Science, Shanghai Jiaotong University, Shanghai and MOE-MS Key Laboratory for Intelligent Computing and Intelligent Systems
Venue:
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Year:
2010

Citing 13
Cited 0

Computational interpretations of linear logic

Theoretical Computer Science - Special volume of selected papers of the Sixth Workshop on the Mathematical Foundations of Programming Semantics, Kingston, Ont., Canada, May 1990
A calculus of mobile processes, II

Information and Computation
Objects in the &pgr;-calculus

Information and Computation
Algebraic theories for name-passing calculi

Information and Computation
On reduction-based process semantics

Selected papers of the thirteenth conference on Foundations of software technology and theoretical computer science
Pi-calculus, dialogue games and full abstraction PCF

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
On bisimulations of the asynchronous &pgr;-calculus

Theoretical Computer Science
Communication and Concurrency

Communication and Concurrency
An Object Calculus for Asynchronous Communication

ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus

TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
On Asynchronous Communication Semantics

ECOOP '91 Proceedings of the Workshop on Object-Based Concurrent Computing
Tau laws for pi calculus

Theoretical Computer Science
On the expressiveness of interaction

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, each can be regarded as a service, an agent behind the scene or an axiom. The operational and observational semantics of the theories are investigated. The power of the approach is demonstrated by interpreting the asynchronous π-calculus as a theory, the asynchronous theory, in the π-calculus. A complete axiomatic system is constructed for the asynchronous theory, which gives rise to a proof system for the weak asynchronous bisimilarity of the asynchronous π.