Concurrent Pattern Calculus

DOI10.1007/978-3-642-15240-5_18MaRDI QIDQ3163887zbMATH OpenOpenAlexFDO

Authors Thomas Given-Wilson, Daniele Gorla, Barry Jay

Publication date 27 October 2010

Published in IFIP Advances in Information and Communication Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15240-5_18

zbMATH Keywords

pattern matching

Mathematics Subject Classification ID

Data structures (68P05) Pattern recognition, speech recognition (68T10)

Recommendations

• A concurrent pattern calculus
• A calculus for concurrent objects
• Programming Languages and Systems
• Confluence of Pattern-Based Calculi
• Concurrent calculus (CC) and its properties
• Parallel programming with a pattern language
• scientific article; zbMATH DE number 4096791
• A confluent calculus for concurrent constraint programming
• Concurrent Programming
• scientific article; zbMATH DE number 42962

Cited in

(6)

• Expressiveness of concurrent intensionality
• A calculus for collective-adaptive systems and its behavioural theory
• A formal approach to the engineering of domain-specific distributed systems
• On the Power of Attribute-Based Communication
• A sorted semantic framework for applied process calculi (extended abstract)
• A concurrent pattern calculus

This page was built for publication: Concurrent Pattern Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3163887)