Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
15
views
27
references
Top references
cited by
2
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,626
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Theoretical Aspects of Computing – ICTAC 2016
On the Expressiveness of Symmetric Communication
other
Author(s):
Thomas Given-Wilson
,
Axel Legay
Publication date
(Online):
September 22 2016
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Scholarly Communication
Most cited references
27
Record
: found
Abstract
: not found
Article
: not found
A calculus of mobile processes, I
Robin Milner
,
Joachim Parrow
,
David Michael Walker
(1992)
0
comments
Cited
229
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Generative communication in Linda
David Gelernter
(1985)
0
comments
Cited
108
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
The Polyadic π-Calculus: a Tutorial
Robin Milner
(1993)
0
comments
Cited
50
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2016
Publication date (Online):
September 22 2016
Pages
: 139-157
DOI:
10.1007/978-3-319-46750-4_9
SO-VID:
ca201d1c-2059-4cf9-aba0-c6516e276ee5
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
Verification of Concurrent Programs on Weak Memory Models
pp. 25
Petri Nets and Semilinear Sets (Extended Abstract)
pp. 33
Termination of Single-Path Polynomial Loop Programs
pp. 51
Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm
pp. 69
Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms
pp. 82
Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs
pp. 103
Synthesis of Petri Nets with Whole-Place Operations and Localities
pp. 121
Schedulers and Finishers: On Generating the Behaviours of an Event Structure
pp. 139
On the Expressiveness of Symmetric Communication
pp. 158
Towards MC/DC Coverage of Properties Specification Patterns
pp. 179
Unification for $$\lambda $$ -calculi Without Propagation Rules
pp. 196
Soundly Proving B Method Formulæ Using Typed Sequent Calculus
pp. 235
Specifying Properties of Dynamic Architectures Using Configuration Traces
pp. 255
Behavioural Models for FMI Co-simulations
pp. 274
An Abstract Model for Proving Safety of Autonomous Urban Traffic
pp. 295
Unifying Heterogeneous State-Spaces with Lenses
pp. 315
Ensuring Correctness of Model Transformations While Remaining Decidable
pp. 333
ProofScript: Proof Scripting for the Masses
pp. 351
Derived-Term Automata for Extended Weighted Rational Expressions
pp. 370
Weighted Register Automata and Weighted Logic on Data Words
pp. 385
Hybrid Automata as Coalgebras
pp. 405
Temporal Logic Verification for Delay Differential Equations
pp. 422
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
pp. 441
Propositional Dynamic Logic for Petri Nets with Iteration
pp. 459
ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti
pp. 469
Parametric Deadlock-Freeness Checking Timed Automata
Similar content
2,626
Perplexing problems in risk communication of emergent public security events: A psychological perspective
Authors:
Z. LIANG
,
Z Liang
,
J Xu
…
Analysis of folk-centered risk communication during SARS crisis
Authors:
X. Xie
,
H Wang
,
J Ren
…
Flexible entanglement-distribution network with an AlGaAs chip for secure communications
Authors:
Félicien Appas
,
Florent Baboux
,
Maria I. Amanti
…
See all similar
Cited by
2
A Theory of Encodings and Expressiveness
Authors:
Rob van Glabbeek
On the Validity of Encodings of the Synchronous in the Asynchronous \(\pi\)-calculus
Authors:
Rob van Glabbeek
See all cited by