Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
21
views
21
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
4,360
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Formal Techniques for Distributed Objects, Components, and Systems
On the Power of Attribute-Based Communication
other
Author(s):
Yehia Abd Alrahman
,
Rocco De Nicola
,
Michele Loreti
Publication date
(Online):
May 24 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
21
Record
: found
Abstract
: not found
Book
: not found
A Calculus of Communicating Systems
Robin Milner
(1980)
0
comments
Cited
259
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
The many faces of publish/subscribe
Patrick Eugster
,
Pascal A. Felber
,
Rachid Guerraoui
…
(2003)
0
comments
Cited
165
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
A calculus of mobile processes, II
Robin Milner
,
Joachim Parrow
,
David Walker
(1992)
0
comments
Cited
90
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2016
Publication date (Online):
May 24 2016
Pages
: 1-18
DOI:
10.1007/978-3-319-39570-8_1
SO-VID:
08666df5-b164-4e73-b2aa-d4ae5d6257a6
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
On the Power of Attribute-Based Communication
pp. 19
Fencing Programs with Self-Invalidation and Self-Downgrade
pp. 36
A Framework for Certified Self-Stabilization
pp. 52
Developing Honest Java Programs with Diogenes
pp. 62
Playing with Our CAT and Communication-Centric Applications
pp. 74
Multiparty Session Types Within a Canonical Binary Theory, and Beyond
pp. 96
A Type Theory for Robust Failure Handling in Distributed Systems
pp. 114
Choreographies in Practice
pp. 124
Specification-Based Synthesis of Distributed Self-Stabilizing Protocols
pp. 142
Branching Bisimulation Games
pp. 158
A Configurable CEGAR Framework with Interpolation-Based Refinements
pp. 175
A Theory for the Composition of Concurrent Processes
pp. 195
Enforcing Availability in Failure-Aware Communicating Systems
pp. 212
Ransomware Steals Your Phone. Formal Methods Rescue It
pp. 222
Multiple Mutation Testing from FSM
pp. 239
The Challenge of Typed Expressiveness in Concurrency
pp. 248
Type-Based Analysis for Session Inference (Extended Abstract)
pp. 267
SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models
Similar content
4,360
The Cystic Fibrosis Learning Network: A mixed methods evaluation of program goals, attributes, and impact
Authors:
Aricca D. Van Citters
,
Madge E. Buus‐Frank
,
Joel R. King
…
Prevalence of Lyme Disease Attributable to Military Service at the USMA, West Point NY: FY2016-2018.
Authors:
Sara L Schubert
,
Vanessa R Melanson
Multi-view cross-subject seizure detection with information bottleneck attribution.
Authors:
Yanna Zhao
,
Gaobo Zhang
,
Yongfeng Zhang
…
See all similar
Cited by
2
A Computational Framework for Adaptive Systems and its Verification
Authors:
Yehia Alrahman
,
Giuseppe Perelli
,
Nir Piterman
A Formal Approach to the Engineering of Domain-Specific Distributed Systems
Authors:
Rocco De Nicola
,
Gianluigi Ferrari
,
Rosario Pugliese
…
See all cited by