Concurrent Pattern Calculus

DOI10.1007/978-3-642-15240-5_18zbMath1198.68211OpenAlexW2746615903MaRDI QIDQ3163887

Daniele Gorla, Thomas Given-Wilson, C. 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

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

Related Items (5)

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)

This page was built for publication: Concurrent Pattern Calculus