Concurrent and Located Synchronizations in π-Calculus

Lanese, Ivan

doi:10.1007/978-3-540-69507-3_33

Cited by 8 publications

(5 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [15], labels of internal actions are annotated with the name on which the synchronization occurs so as to define located semantics for the π-calculus; such semantics are then used to study concurrent semantics using a standard LTS. In the higher-order setting, [16] defines a variant of CHOCS in which synchronizations on so-called activation channels (i.e., the fresh channels used in the encoding of CHOCS into the π-calculus to trigger a copy of a process) are distinguished from other synchronizations.…”

Section: Discussionmentioning

confidence: 99%

On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi

Lanese

Pérez

Sangiorgi

et al. 2010

Automata, Languages and Programming

Self Cite

View full text Add to dashboard Cite

Abstract. Higher-order process calculi are calculi in which processes can be communicated. We study the expressiveness of strictly higher-order process calculi, and focus on two issues well-understood for first-order calculi but not in the higher-order setting: synchronous vs. asynchronous communication and polyadic vs. monadic communication. First, and similarly to the first-order setting, synchronous process-passing is shown to be encodable into asynchronous processpassing. Then, the absence of name-passing is shown to induce a hierarchy of higher-order process calculi based on the arity of polyadic communication, thus revealing a striking point of contrast with respect to first-order calculi. Finally, the passing of abstractions (i.e., functions from processes to processes) is shown to be more expressive than process-passing alone.

show abstract

Section: Discussionmentioning

confidence: 99%

On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi

Lanese

Pérez

Sangiorgi

et al. 2010

Automata, Languages and Programming

Self Cite

View full text Add to dashboard Cite

show abstract

“…Different approaches are conceivable, see e.g. (Lanese 2007): next section shows how they can be accommodated in our theory.…”

Section: Concurrent Semantics With Unbounded Capacity Channelsmentioning

confidence: 99%

“…However, since interactions are message exchanging on a channel, it can be reasonable to assume a bound on the number of concurrent communications on the same channel (see e.g. (Lanese 2007)). Here we consider 1-bounded channels, i.e.…”

Section: Concurrent Semantics With Bounded Capacity Channelsmentioning

confidence: 99%

Concurrency cannot be observed, asynchronously

Baldan¹,

Bonchi²,

Gadducci³

et al. 2014

Math. Struct. Comp. Sci.

View full text Add to dashboard Cite

The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the introduction of a non-interleaving extension of barbed equivalence. This notion is then exploited in order to prove that concurrency cannot be observed through asynchronous interactions, i.e., that the interleaving and concurrent versions of a suitable asynchronous weak equivalence actually coincide. The theory is validated on some case studies, related to nominal calculi (pi-calculus) and visual specification formalisms (Petri nets). Additionally, we prove that a class of systems which are (output-buffered) asynchronous according to a characterisation previously proposed in the literature falls into our theory

show abstract

“…The EA Management approach of the University of St. Gallen (Österle & Winter, 2003;Winter & Fischer, 2006;Aier & Schönherr, 2007;Braun, 2007;Schelp & Stutz, 2007;Österle, Winter, Höning, Kurpjuweit, & Osl, 2007;Aier, Kurpjuweit et al, 2008;Aier, Riege, & Winter, 2008;Fischer, 2008;Hafner & Winter, 2008;Winter & Schelp, 2008a, 2008bAier, Kurpjuweit, Saat, & Winter, 2009;Kurpjuweit, 2009;Riege & Aier, 2009;Aier & Gleichauf, 2010;Hanschke, 2009) focuses on an holistic approach to design organizations, which is, therefore, closely related to enterprise modeling and the management of enterprise architectures. It can best be characterized by its core business meta-model that serves to model a commercial organization as part of a business engineering activity.…”

Section: Related Workmentioning

confidence: 99%

Conformance Analysis of Organizational Models

Brandt¹,

Hermann

2013

International Journal of Information System Modeling and Design

View full text Add to dashboard Cite

Organizational models play a key role in today’s enterprise modeling. They usually show up as partial models produced in a distributed and non-synchronized fashion by people with different conceptual understandings. For this reason, there is a major need to organize partial organizational models within a suitable modeling framework, and, moreover, to check their mutual conformance. This builds the basis to integrate the partial organizational models later on into one holistic model of the organization and for model checking certain security, risk, and compliance constraints. In order to attain this goal, the authors present two mutually aligned contributions. The first one is a new enterprise modeling framework—the EM-Cube. The second one is a new approach for checking conformance of models based on the suggested formal modeling technique associated with the proposed framework. They evaluate the potential solution against concrete requirements derived from a real-world scenario coming out of the finance industry.

show abstract

Concurrent and Located Synchronizations in π-Calculus

Cited by 8 publications

References 7 publications

On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi

On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi

Concurrency cannot be observed, asynchronously

Conformance Analysis of Organizational Models

Contact Info

Product

Resources

About