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
- scientific article; zbMATH DE number 4018370 (Why is no real title available?)
- scientific article; zbMATH DE number 3926231 (Why is no real title available?)
- scientific article; zbMATH DE number 2059568 (Why is no real title available?)
- scientific article; zbMATH DE number 7167584 (Why is no real title available?)
- A calculus of mobile processes. I
- A calculus of mobile processes. II
- A combinatory account of internal structure
- A concurrent pattern calculus
- A sorted semantic framework for applied process calculi (extended abstract)
- A taxonomy of process calculi for distribution and mobility
- Comparing communication primitives via their relative expressive power
- Concurrent Pattern Calculus
- Expressiveness of process algebras
- Expressiveness via intensionality and concurrency
- 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
- Generative communication in Linda
- Higher-level synchronising devices in Meije-SCCS
- Matching systems for concurrent calculi
- Multiparty symmetric sum types
- Musings on encodings and expressiveness
- On reduction-based process semantics
- On the Expressive Power of Primitives for Compensation Handling
- On the expressive power of \textsc{Klaim}-based calculi
- On the expressiveness of Linda coordination primitives.
- On the expressiveness of intensional communication
- On the expressiveness of joining
- On the expressiveness of polyadic and synchronous communication in higher-order process calculi
- On the expressiveness of symmetric communication
- On the validity of encodings of the synchronous in the asynchronous -calculus
- Pattern Calculus
- Pattern-matching spi-calculus
- Psi-calculi: a framework for mobile processes with nominal data and logic
- Semantic subtyping for the pi-calculus
- Towards a unified approach to encodability and separation results for process calculi
- Types and full abstraction for polyadic \(\pi\)-calculus
Cited in
(6)
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)
