Filters








16,836 Hits in 6.7 sec

Fairness and Communication-Based Semantics for Session-Typed Languages [article]

Ryan Kavanagh
2021 arXiv   pre-print
We give communication-based semantics and reasoning techniques for Polarized SILL, a rich session-typed programming language with general recursion.  ...  We use this observational semantics to define experiments on processes, and we give a communication-based testing equivalences framework for defining observational simulations and equivalences on processes  ...  Acknowledgements The author thanks Stephen Brookes, Iliano Cervesato, Frank Pfenning, and the anonymous reviewers for their helpful comments.  ... 
arXiv:2104.01065v2 fatcat:t3r4k25hf5cu5cd4mhlbbqonzm

Substructural Observed Communication Semantics

Ryan Kavanagh
2020 Electronic Proceedings in Theoretical Computer Science  
Session-types specify communication protocols for communicating processes, and session-typed languages are often specified using substructural operational semantics given by multiset rewriting systems.  ...  We give an observed communication semantics for a session-typed language with recursion, where a process's observation is given by its external communications.  ...  We used these results to define an observed communication semantics for session-typed languages that are defined by substructural operational semantics: the observation of a process is its communications  ... 
doi:10.4204/eptcs.322.7 fatcat:jkxqpblcare3vcwzx3zy7denle

Contents and abstracts of the electronic notes in theoretical computer science vol. 6

1998 Theoretical Computer Science  
By varying the structure of the traces, we can construct several different semantics that reflect different types of fairness assumptions for the same language of communicating processes.  ...  Susan Older A framework for fair communicating processes http://www.elsevier.nl/locate/entcs/volume6.html This paper describes a general framework for modeling fairness for communicating processes, based  ...  Failures, finiteness and full abstraction http://www.elsevier.nl/locate/entcs/volume6.html For a simple CCS-like language a trace semantics and a failure semantics are presented.  ... 
doi:10.1016/s0304-3975(98)90019-6 fatcat:cmxyrjlnjjae7gtbakg6dufkya

Session Types at the Mirror

Luca Padovani
2009 Electronic Proceedings in Theoretical Computer Science  
We (re)define session types as projections of process behaviors with respect to the communication channels they use. In this setting, we give session types a semantics based on fair testing.  ...  session types, is semantically -rather than syntactically- grounded.  ...  I wish to thank Giuseppe Castagna for having provided comments on an early draft of this paper.  ... 
doi:10.4204/eptcs.12.5 fatcat:2rftc6szsnfwbknjnbodnmsxzq

Two notions of sub-behaviour for session-based client/server systems: 10 Years Later

Franco Barbanera, Ugo de'Liguoro
2020 22nd International Symposium on Principles and Practice of Declarative Programming  
Moving to communication centered systems and concurrent programming languages, the notion of value is not central anymore.  ...  Following [43] , Gay and Hole proposed in [31] a theory of subtyping for session types, that was explicitly intended as a formalization of the substitutivity principle, but still lacking of a clear semantical  ...  Stemming from Padovani's work on fair testing and subtyping of multiparty session types [42] , the system of mail boxes types in [28] introduces a type system for reasoning on protocol conformance and  ... 
doi:10.1145/3414080.3414082 dblp:conf/ppdp/Barbanerad20 fatcat:vwyewdbjwze3nlmmsmy4cal2se

On Global Types and Multi-Party Session

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani, Davide Sangiorgi
2012 Logical Methods in Computer Science  
We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified.  ...  In addition to the technical content, we discuss some limitations of our language of global types and provide an extensive comparison with related specification languages adopted in different communities  ...  Anca Muscholl helped us on surveying MSCs and Martín Abadi and Roberto Amadio with the literature on security protocols.  ... 
doi:10.2168/lmcs-8(1:24)2012 fatcat:6tvxvijclveezbq7off5fbfvcm

"Use of an Arabic-language Version of TOPL-2 to Identify Typical and Atypical Manifestations of Pragmatic Language Impairment in Individuals with Developmental Dysphasia"

Ahmed Mohammed S. Alduais
2012 IOSR Journal of Humanities and Social Science  
plans, developmental dysphasia, typical and atypical manifestations of pragmatic language impairment.  ...  Purpose: To identify typical and atypical pragmatic language impairment PLI manifestations and determine the strengths and Results: The results of the doubled-administration of the Arabic TOPL-2 are somewhat  ...  Many thanks are also due to those in the Communication and Swallowing Disorder Unit (CSDU) and the Research Chair of Voice, Swallowing, and communication Disorders, King Abdulaziz University Hospital,  ... 
doi:10.9790/0837-0331122 fatcat:7moihu7hd5atpjc4qy57m6fe2u

Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131)

Marco Gaboardi, Suresh Jagannathan, Ranjit Jhala, Stephanie Weirich, Marc Herbstritt
2016 Dagstuhl Reports  
While the research community has studied the problem of language based verification for imperative and first-order programs for decades -yielding important ideas like Floyd-Hoare Logics, Abstract Interpretation  ...  , Model Checking, and Separation Logic and so on -it is only relatively recently, that proposals have emerged for language based verification tools for functional and higher-order programs.  ...  The latter demands a formal semantics of interoperability between the source and target languages.  ... 
doi:10.4230/dagrep.6.3.59 dblp:journals/dagstuhl-reports/GaboardiJJW16 fatcat:zeqdceqvzrgplfdpsbt6deoi2i

On Global Types and Multi-party Sessions [chapter]

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
2011 Lecture Notes in Computer Science  
We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified.  ...  In addition to the technical content, we discuss some limitations of our language of global types and provide an extensive comparison with related specification languages adopted in different communities  ...  Anca Muscholl helped us on surveying MSCs and Martín Abadi and Roberto Amadio with the literature on security protocols.  ... 
doi:10.1007/978-3-642-21461-5_1 fatcat:utb4cbs4kranlfdq7tsy3rg73e

On projecting processes into session types

LUCA PADOVANI
2012 Mathematical Structures in Computer Science  
However, type preservation and progress can only be guaranteed for processes that never receive channels they already own.  ...  The proposed approach allows us to define a semantically grounded theory of session types that does not require the linear usage of channels.  ...  I wish to thank the anonymous referees for their detailed and thoughtful comments on early versions of this paper.  ... 
doi:10.1017/s0960129511000405 fatcat:uhybhth3s5bsfjwogjq4kfupxq

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  
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.  ...  Behavioural type systems, usually associated to concurrent or distributed computations, encompass concepts such as interfaces, communication protocols, and contracts, in addition to the traditional input  ...  give semantics to a distributed concurrent object-oriented programming language by means of a unified treatment of communication channels and their session types (See Section 3) together with a notion  ... 
doi:10.1145/2873052 fatcat:zpqnnmimwrglxeulwo4duwqbw4

Page 37 of Journal of Research and Practice in Information Technology Vol. 16, Issue 1 [page]

1984 Journal of Research and Practice in Information Technology  
The six sessions covered the areas of: - programming language semantics, semantics of abstract data types, correctness of programming language translations and compiler generation from semantic descriptions  ...  . - abstract algebraic semantic characterisation of functional languages and a semantic theory for networks of concurrent programs. — fairness assumptions in a subset of communicating sequen- tial processes  ... 

Fair subtyping for multi-party session types

LUCA PADOVANI
2014 Mathematical Structures in Computer Science  
In this paper, we define afairsubtyping relation for multi-party session types that preserves liveness, we relate it with the subtyping relation for dyadic session types and provide coinductive, axiomatic  ...  The subtyping relation defined for dyadic session type theories may compromise the liveness of multi-party sessions.  ...  The author is grateful to the MSCS reviewers for their insightful comments which helped resolving inconsistencies and improving presentation of the article.  ... 
doi:10.1017/s096012951400022x fatcat:dqvjt6yh3zgyrc6npeyhk5aboa

Derivational Morphology under the Influence of Language Contact in French and German

Simone Heinold
2009 Journal of Language Contact  
In both languages, they have developed semantic and morphological properties of their own that overlap or contrast with rival native processes, such as the productive -ung and -en for German, and -age,  ...  -(t)ion and -ment for French.  ...  A meowing session/Meow sessions e. *A meow session For German the picture is more complicated.  ... 
doi:10.1163/000000009792497814 fatcat:7kywps5jbffznkkv3abryf4qkm

Choreography Automata [chapter]

Franco Barbanera, Ivan Lanese, Emilio Tuosto
2020 Lecture Notes in Computer Science  
We consider both the standard asynchronous semantics of communicating systems and a synchronous variant of it.  ...  We introduce choreography automata for the choreographic modelling of communicating systems. The projection of a choreography automaton yields a system of communicating finite-state machines.  ...  However, this type system has not been conceived for choreographies (it is a binary session type system) and does not allow non-determinism.  ... 
doi:10.1007/978-3-030-50029-0_6 fatcat:vjcgidp5kfh6xg63zkqoktiuru
« Previous Showing results 1 — 15 out of 16,836 results