Expressiveness of concurrent intensionality
From MaRDI portal
Publication:2193283
DOI10.1016/J.TCS.2020.05.007zbMATH Open1461.68130OpenAlexW3032132007MaRDI QIDQ2193283FDOQ2193283
Authors: Ioana Cristescu, Thomas Given-Wilson, Axel Legay 
Publication date: 25 August 2020
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2020.05.007
Recommendations
- Expressiveness via intensionality and concurrency
- On the semantics of intensionality
- On the expressiveness of intensional communication
- MODALITY AND EXPRESSIBILITY
- Inferential intensionality
- scientific article; zbMATH DE number 2227650
- Expressiveness and completeness of an interval tense logic
- Expressiveness and completeness in abstraction
- On the expressiveness of interaction
Cites Work
- Higher-level synchronising devices in Meije-SCCS
- Title not available (Why is that?)
- A calculus of mobile processes. I
- A calculus of mobile processes. II
- A sorted semantic framework for applied process calculi (extended abstract)
- Psi-calculi: a framework for mobile processes with nominal data and logic
- Title not available (Why is that?)
- Generative communication in Linda
- On reduction-based process semantics
- Semantic subtyping for the pi-calculus
- Foundations of software science and computation structures. 1st international conference, FoSSaCS '98. Held as part of the joint European conferences on Theory and practice of software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998. Proceedings
- Towards a unified approach to encodability and separation results for process calculi
- Expressiveness of process algebras
- Title not available (Why is that?)
- On the expressiveness of Linda coordination primitives.
- On the Expressive Power of Primitives for Compensation Handling
- Pattern-matching spi-calculus
- A combinatory account of internal structure
- Pattern Calculus
- On the expressiveness of polyadic and synchronous communication in higher-order process calculi
- Comparing communication primitives via their relative expressive power
- On the expressive power of \textsc{Klaim}-based calculi
- A taxonomy of process calculi for distribution and mobility
- A concurrent pattern calculus
- Musings on encodings and expressiveness
- Types and full abstraction for polyadic \(\pi\)-calculus
- On the expressiveness of intensional communication
- On the expressiveness of joining
- Multiparty symmetric sum types
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus
- Matching systems for concurrent calculi
- Expressiveness via intensionality and concurrency
- On the expressiveness of symmetric communication
- Concurrent Pattern Calculus
- Title not available (Why is that?)
Cited In (6)
Uses Software
This page was built for publication: Expressiveness of concurrent intensionality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2193283)
