Declarative interpretations of session-based concurrency

No abstract is available for this paper.

• Publication year

  2015

• Venue

  ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming

• Publication date

  2015-07-14

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2790449.2790513
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Linearity, Control Effects, and Behavioral Types

  2017cited by this paper
• Foundations of Session Types and Behavioural Contracts

  2016cited by this paper
• Event-based run-time adaptation in communication-centric systems

  2016cited by this paper
• Choreography-based Development of Reliable Distributed Control Systems in the Energy Sector

  2016cited by this paper
• A Calculus of Mobile Processes, I

  2015cited by this paper
• On Duality Relations for Session Types

  2014cited by this paper
• Global progress for dynamically interleaved multiparty sessions

  2014cited by this paper
• Models and emerging trends of concurrent constraint programming

  2013cited by this paper
• Contract-Oriented Computing in CO2

  2012cited by this paper
• From the π-calculus to flat GHC

  2012cited by this paper
• Under consideration for publication in Math. Struct. in Comp. Science Linear Logic Propositions as Session Types

  2012cited by this paper
• On Asynchronous Session Semantics

  2011cited by this paper
• Constraints for Service Contracts

  2011cited by this paper
• CC-Pi: A Constraint Language for Service Negotiation and Composition

  2011cited by this paper
• Observational equivalences for linear logic concurrent constraint languages*

  2011influential reference
• Psi-calculi: a framework for mobile processes with nominal data and logic

  2011cited by this paper
• A Logic for Choreographies

  2011cited by this paper
• A Calculus of Contracting Processes

  2010cited by this paper
• Session Types as Intuitionistic Linear Propositions

  2010cited by this paper
• A Theory of Design-by-Contract for Distributed Multiparty Interactions

  2010cited by this paper
• Towards a Unified Framework for Declarative Structured Communications

  2010influential reference
• A Linear Account of Session Types in the Pi Calculus

  2010cited by this paper
• A Graphical Approach to Progress for Structured Communication in Web Services

  2010cited by this paper
• Concurrent and Reactive Constraint Programming

  2010cited by this paper
• Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming

  2009influential reference
• Fundamentals of session types

  2009influential reference
• Structured Communications with Concurrent Constraints

  2009cited by this paper
• A survey of constraint-based programming paradigms

  2008cited by this paper
• Verification of Constraint Handling Rules using Linear Logic Phase Semantics

  2008cited by this paper
• Towards a unified approach to encodability and separation results for process calculi

  2008cited by this paper
• The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security

  2008cited by this paper
• Open Bisimulation for the Concurrent Constraint Pi-Calculus

  2008cited by this paper
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements

  2007cited by this paper
• Temporal Concurrent Constraint Programming: Denotation, Logic and Applications

  2002cited by this paper
• Linear Concurrent Constraint Programming: Operational and Phase Semantics

  2001influential reference
• A Timed Concurrent Constraint Language

  2000influential reference
• Pi+- Calculus: A Calculus for Concurrent Processes with Constraints

  1998cited by this paper
• LANGUAGE PRIMITIVES AND TYPE DISCIPLINE FOR STRUCTURED COMMUNICATION-BASED PROGRAMMING

  1998cited by this paper
• Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR

  1996cited by this paper
• On the Expressiveness of Internal Mobility in Name-Passing Calculi

  1996cited by this paper
• Suspension analyses for concurrent logic programs

  1994cited by this paper
• A Calculus of Mobile Processes, II

  1992cited by this paper
• Mobility in the CC-Paradigm

  1992cited by this paper
• Concurrent constraint programming

  1989cited by this paper
• Linear Logic

  1987cited by this paper

• Session-based concurrency: between operational and declarative views

  2020cites this paper
• Towards A Practical Model of Reactive Communication-Centric Software

  2016cites this paper
• The Challenge of Typed Expressiveness in Concurrency

  2016cites this paper