7,693 Hits in 7.4 sec

Mobile Processes: A Commented Bibliography [chapter]

Silvano Dal Zilio
2001 Lecture Notes in Computer Science  
We propose a short bibliographic survey of calculi for mobile processes.  ...  as modelled in the π-calculus of Milner, Parrow and Walker for example, and motile processes, which can exhibit motion, as modelled in the ambient calculus of Cardelli and Gordon.  ...  Acknowledgments I would like to thank Uwe Nestmann and Peter Sewell for helpful comments. Luca Cardelli and Andy Gordon commented on a previous version of this text.  ... 
doi:10.1007/3-540-45510-8_11 fatcat:ksp2ci37rbc5jbwokvcs2ugspq

Communicating and Mobile Systems: the π-calculus,

Davide Sangiorgi
2000 Science of Computer Programming  
Thorough and intense studies of the -calculus over the past 10 years have allowed us to understand important concepts of concurrency theory -in particular, of mobile systems -such as types and behavioural  ...  The -calculus is a well-known and in uential model of concurrency.  ...  The algebraic theory, the types, the modeling of objects and functions are only brie y discussed.  ... 
doi:10.1016/s0167-6423(00)00008-3 fatcat:sxu3sajlvbhzxnvhmjkorz3ozm

Formalizing Composable Software Systems — A Research Agenda [chapter]

O. Nierstrasz, J.-G. Schneider, M. Lumpe
1997 IFIP Advances in Information and Communication Technology  
We propose, instead, to develop a rigorous foundation for composable software systems by a series of experiments in modelling concurrent and object-based software abstractions as composable, communicating  ...  Eventually we hope to identify and realize the most useful compositional idioms as a composition language for open systems specification.  ...  So far none of these calculi provides both a good basis for modelling concurrent object abstractions and a formal foundation as mature as that of the π calculus (while acknowledging that the π calculus  ... 
doi:10.1007/978-0-387-35082-0_20 fatcat:bugqw47sk5g3nihurxlh7cvuve

Towards an object calculus [chapter]

Oscar Nierstrasz
1992 Lecture Notes in Computer Science  
To this end, we briefly review some of this work, we pose some informal requirements for an object calculus, and we present the syntax, operational semantics and use through examples of a proposed object  ...  The development of concurrent object-based programming languages has suffered from the lack of any generally accepted formal foundations for defining their semantics.  ...  Acknowledgements Many thanks to Michael Papathomas and Laurent Dami who offered considerable improvements to the presentation of this paper.  ... 
doi:10.1007/3-540-55613-3_1 fatcat:6s7frmdlebhszizvt4hqx4ztny

Typing Non-uniform Concurrent Objects [chapter]

António Ravara, Vasco T. Vasconcelos
2000 Lecture Notes in Computer Science  
We formalise non-uniform concurrent objects in TyCO, a name-passing object calculus, and ensure program safety via a type system.  ...  We adopt a types-as-behaviours approach, such that a type characterises the semantics of a concurrent objects by representing all its possible life-cycles as a state-transition system.  ...  Acknowledgements Special thanks are due to Gérard Boudol, Jean-Louis Colaço, Silvano Dal-Zilio, and Uwe Nestmann for careful reading of previous versions of this work, as well as for very important suggestions  ... 
doi:10.1007/3-540-44618-4_34 fatcat:u7d2clsy2za77ic27ohxdxjpfi

SMoLCS-driven concurrent calculi [chapter]

Egidio Astesiano, Gianna Reggio
1987 Lecture Notes in Computer Science  
A calculus consists basically of a language for expressing behaviours and their parallel composition together with the rewriting rules defining their semantics; formally it is a calculus associated to  ...  functions; in general behaviours can be seen just as a data type and in this sense our calculi can be higher order calculi with behaviours as fast class objects. 0 INTRODUCTION 0.1 Generalities on the  ...  Many thanks also to Ombretta Arvigo for her patient Mac-typing and more generally for her cooperation at any time.  ... 
doi:10.1007/3-540-17660-8_55 fatcat:5mbcr3era5crrenqe2c6zgjjjy

Semantics of Objects As Processes (SOAP) [chapter]

Uwe Nestmann, António Ravara
1999 Lecture Notes in Computer Science  
While the typed λcalculus is a firm ground to study typing for object-oriented languages, the typing of concurrent objects poses particular problems due to synchronization constraints.  ...  A Concurrent Object Calculus with Types that Express Sequences (Christof Peter and Franz Puntigam) Sequencing of messages specified by types of objects is desirable especially in concurrent systems.  ... 
doi:10.1007/3-540-46589-8_18 fatcat:njv6znlwo5f65fiw6ellpuovfm

Temporal Logic Based Static Analysis for Non-uniform Behaviours [chapter]

Matthias Colin, Xavier Thirioux, Marc Pantel
2003 Lecture Notes in Computer Science  
The main purpose of our work is the typing of concurrent, distributed and mobile programs based on the actor programming model, that is non-uniform behaviour concurrent objects communicating by asynchronous  ...  We focus on non uniform input interfaces for processes, and then define a temporal logic tailored to their description and analyses.  ...  Cap: A Primitive Actor Calculus Various encodings of concurrent objects in the π-calculus or similar formalisms have been proposed [Wal95, PT97] .  ... 
doi:10.1007/978-3-540-39958-2_7 fatcat:cpff3qvrojeahkmjibyjvoymc4

Foundations of Session Types and Behavioural Contracts

Hans Hüttel, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara
2016 ACM Computing Surveys  
The behavioural type of a software component specifies its expected patterns of interaction using expressive type languages, so types can be used to determine automatically whether the component interacts  ...  Two related important notions of behavioural types are those of session types and behavioural contracts. This article surveys the main accomplishments of the last 20 years within these two approaches.  ...  Ravara and Vasconcelos [2000] developed a behavioural type system for Typed Concurrent Objects (TyCO) [Vasconcelos 1994 ] to ensure the absence of "message-never-understood" errors in nonuniform concurrent  ... 
doi:10.1145/2873052 fatcat:zpqnnmimwrglxeulwo4duwqbw4

A Concurrent Model for Linear Logic

Emmanuel Beffara
2006 Electronical Notes in Theoretical Computer Science  
We build a realizability model for linear logic using a name-passing process calculus.  ...  concurrent behaviours.  ...  Although the typing of processes in the Curry-Howard school of thought is not a widespread approach, the search for good logics for describing concurrent processes is not a new topic.  ... 
doi:10.1016/j.entcs.2005.11.055 fatcat:ttrbhoqprjgbbpbntl3rcijcta

Page 7891 of Mathematical Reviews Vol. , Issue 99k [page]

1999 Mathematical Reviews  
of the z-calculus as a metalanguage for the semantics of typed object-oriented languages.  ...  Technical contributions of the paper are the presentation of variant types for the z-calculus and their typing and subtyping properties, and an analysis of behavioural equivalences in a z-calculus with  ... 

Review of the π-calculus

Riccardo Pucella
2003 ACM SIGACT News  
(The following part focuses on types as an aid for reasoning about the behaviour of processes.) In Chapter 6, the foundations of type systems for the π-calculus are laid.  ...  been a need for formal methods to model and reason about concurrency and mobility.  ... 
doi:10.1145/637437.637443 fatcat:hxi6rr563jdfrn4qdcya4vjy64


Alceste Scalas, Nobuko Yoshida, Elias Benussi
2019 Proceedings of the Tenth ACM SIGPLAN Symposium on Scala - Scala '19  
Effpi provides: (1) a set of Dotty classes for describing communication protocols as types; (2) an embedded DSL for concurrent programming, with process-based and actorbased abstractions; (3) a Dotty compiler  ...  We present Effpi: an experimental toolkit for strongly-typed concurrent and distributed programming in Dotty, with verification capabilities based on type-level model checking.  ...  Behavioural Types in Dotty Effpi provides types for describing the desired behaviour of concurrent programs: • Chan[A] is the type of a channel that can be used to send/receive values of type A; • Out[  ... 
doi:10.1145/3337932.3338812 dblp:conf/scala/ScalasYB19 fatcat:cu75zdq7ufdcxksnxgawcoprke

Requirements for a composition language [chapter]

Oscar Nierstrasz, Theo Dirk Meijler
1995 Lecture Notes in Computer Science  
In this position paper we will elaborate our requirements and outline a strategy for the design and implementation of a composition language for the development of open systems.  ...  A composition language supports the technical requirements of a component-oriented development approach by shifting emphasis from programming and inheritance of classes to specification and composition  ...  Acknowledgements We gratefully acknowledge the financial support of the Swiss National Science Foundation under project no. 21-40610.94.  ... 
doi:10.1007/3-540-59450-7_9 fatcat:56l5z2nbdfchjowosd3bq6kj7e

Robin Milner's Work on Concurrency

Samson Abramsky
2010 Electronical Notes in Theoretical Computer Science  
We give a short appreciation of Robin Milner's seminal contributions to the theory of concurrency.  ...  The Quest Continues For all the beauty and the success of the π-calculus, Robin realized that it was not the λ-calculus of concurrency.  ...  This is fine for functional programming (pace sequentiality); less good for effects; but what about concurrency? There was already a theory of concurrency, Petri's Net Theory.  ... 
doi:10.1016/j.entcs.2010.08.002 fatcat:h3svrr6qxbgvzdcdb4tvhghcce
« Previous Showing results 1 — 15 out of 7,693 results