Results 1 - 10 of 9,982

Bisimulation for higher-order process calculi

by Davide Sangiorgi - INFORMATION AND COMPUTATION , 1996
"... A higher-order process calculus is a calculus for communicating systems which contains higher-order constructs like communication of terms. We analyse the notion of bisimulation in these calculi. We argue that both the standard definition of bisimulation (i.e., the one for CCS and related calculi), ..."
Abstract - Cited by 65 (5 self) - Add to MetaCart
A higher-order process calculus is a calculus for communicating systems which contains higher-order constructs like communication of terms. We analyse the notion of bisimulation in these calculi. We argue that both the standard definition of bisimulation (i.e., the one for CCS and related calculi

Reasoning about Higher-Order Processes

by Roberto M. Amadio, Mads Dam, Crin-inria Nancy , 1994
"... We address the specification and verification problem for process calculi such as Chocs, CML and Facile where processes or functions are transmissible values. Our work takes place in the context of a static treatment of restriction and of a bisimulation-based semantics. As a paradigmatic and simple ..."
Abstract - Cited by 21 (8 self) - Add to MetaCart
. Keywords: Higher-order process calculi; Bisimulation; Modal logics; Program specification; Program verif...

Bisimulation for Higher-Order Process Calculi

by N Rr, Davide Sangiorgi, Davide Sangiorgi - Information and Computation , 1996
"... : A higher-order process calculus is a calculus for communicating systems which contains higher-order constructs like communication of terms. We analyse the notion of bisimulation in these calculi. We argue that both the standard definition of bisimulation (i.e., the one for CCS and related calculi) ..."
Abstract - Add to MetaCart
: A higher-order process calculus is a calculus for communicating systems which contains higher-order constructs like communication of terms. We analyse the notion of bisimulation in these calculi. We argue that both the standard definition of bisimulation (i.e., the one for CCS and related calculi

On Context Bisimulation for Parameterized Higher-order Processes

by Xian Xu
"... This paper studies context bisimulation for higher-order processes, in the presence of parameterization (viz. abstraction). We show that the extension of higher-order processes with process parameterization retains the characterization of context bisimulation by a much simpler form of bisimulation c ..."
Abstract - Add to MetaCart
This paper studies context bisimulation for higher-order processes, in the presence of parameterization (viz. abstraction). We show that the extension of higher-order processes with process parameterization retains the characterization of context bisimulation by a much simpler form of bisimulation

On the Expressiveness and Decidability of Higher-Order Process Calculi

by Ivan Lanese, Jorge A. Pérez , Davide Sangiorgi , Alan Schmitt , 2008
"... In higher-order process calculi the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators necessary to express higher-order communications: input prefix, process output, and parallel composition. By exhibiting a ne ..."
Abstract - Cited by 20 (8 self) - Add to MetaCart
In higher-order process calculi the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators necessary to express higher-order communications: input prefix, process output, and parallel composition. By exhibiting a

On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi

by Xian Xu
"... Higher-order process calculi, for its abstraction capability and theoretical significance, have constantly been receiving much attention in the field of process calculi, and stand as a mathematical tool for describing and analyzing mobile systems with dynamically changing inter-connection structures ..."
Abstract - Cited by 4 (0 self) - Add to MetaCart
Higher-order process calculi, for its abstraction capability and theoretical significance, have constantly been receiving much attention in the field of process calculi, and stand as a mathematical tool for describing and analyzing mobile systems with dynamically changing inter

Modal Characterization of Weak Bisimulation for Higher-order Processes

by Michael Baldamus, Jürgen Dingel - IN TAPSOFT97, VOLUME 1214 OF LNCS , 1996
"... Context bisimulation [13, 1] has become an important notion of behavioral equivalence for higher-order processes. Weak forms of context bisimulation are particularly interesting, because of their high level of abstraction. We present a modal logic for this setting and provide a characterization of a ..."
Abstract - Cited by 8 (0 self) - Add to MetaCart
Context bisimulation [13, 1] has become an important notion of behavioral equivalence for higher-order processes. Weak forms of context bisimulation are particularly interesting, because of their high level of abstraction. We present a modal logic for this setting and provide a characterization

Abstract A Modal Language for Higher-Order Processes

by unknown authors
"... In the design of programming languages for distributed computations, the issue of resource locality usually focuses on channels. Channel locality, as it is called, requires that every channel be associated with a unique process for serving all messages addressed to it. Such a programming language, h ..."
Abstract - Add to MetaCart
for higher-order processes communicating over channels. In order to ensure safe communications between processes, we use a modal type system based on the notion of mobile value. The type system achieves channel locality by splitting channels into two kinds, read channels and write channels, and assigning

SOS for Higher Order Processes (Extended Abstract)

by Mohammadreza Mousavi, Murdoch J. Gabbay, Michel A. Reniers
"... Abstract. We lay the foundations for a Structural Operational Semantics (SOS) framework for higher order processes. Then, we propose a number of extensions to Bernstein’s promoted tyft/tyxt format which aims at proving congruence of strong bisimilarity for higher order processes. The extended format ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
Abstract. We lay the foundations for a Structural Operational Semantics (SOS) framework for higher order processes. Then, we propose a number of extensions to Bernstein’s promoted tyft/tyxt format which aims at proving congruence of strong bisimilarity for higher order processes. The extended

HOPLA—a higher-order process language

by Mikkel Nygaard, Glynn Winskel - In Proc. CONCUR’02, LNCS , 2002
"... Abstract. A small but powerful language for higher-order nondeterministic processes is introduced. Its roots in a linear domain theory for concurrency are sketched though for the most part it lends itself to a more operational account. The language can be viewed as an extension of the lambda calculu ..."
Abstract - Cited by 12 (8 self) - Add to MetaCart
Abstract. A small but powerful language for higher-order nondeterministic processes is introduced. Its roots in a linear domain theory for concurrency are sketched though for the most part it lends itself to a more operational account. The language can be viewed as an extension of the lambda
Results 1 - 10 of 9,982