Concurrent Pattern Calculus
From MaRDI portal
Publication:3163887
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
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