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
27
views
16
references
Top references
cited by
3
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,056
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings
On Implementation of Global Concurrent Systems with Local Asynchronous Controllers
other
Author(s):
Blaise Genest
Publication date
(Print):
2005
Publisher:
Springer Berlin Heidelberg
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
PLOS Global Public Health
Most cited references
16
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Distributed reactive systems are hard to synthesize
A. Pneuli
,
R Rosner
(2025)
0
comments
Cited
30
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Notes on finite asynchronous automata
Wieslaw Zielonka
(1987)
0
comments
Cited
19
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Distributed Controller Synthesis for Local Specifications
P. Madhusudan
,
P.S. Thiagarajan
(2001)
0
comments
Cited
16
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2005
Pages
: 443-457
DOI:
10.1007/11539452_34
SO-VID:
7b48d980-b37e-4ae1-b895-4f78bd96f11d
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Static Analysis Versus Model Checking for Bug Finding
pp. 2
The Benefits of Exposing Calls and Returns
pp. 4
A Compositional Approach to the Stochastic Dynamics of Gene Networks
pp. 5
Games Other People Play
pp. 6
Type-Directed Concurrency
pp. 21
Multiport Interaction Nets and Concurrency
pp. 36
Model Checking for π-Calculus Using Proof Search
pp. 51
A Game Semantics of the Asynchronous π-Calculus
pp. 66
Efficient On-the-Fly Algorithms for the Analysis of Timed Games
pp. 81
Modal Logics for Timed Control
pp. 95
Timed Shuffle Expressions
pp. 110
A New Modality for Almost Everywhere Properties in Timed Automata
pp. 125
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation
pp. 141
A Behavioural Pseudometric for Metric Labelled Transition Systems
pp. 156
On Probabilistic Program Equivalence and Refinement
pp. 171
Probabilistic Anonymity
pp. 186
Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus
pp. 202
Timed Spi-Calculus with Types for Secrecy and Authenticity
pp. 217
Selecting Theories and Recursive Protocols
pp. 233
Constraint Solving for Contract-Signing Protocols
pp. 248
A Ground-Complete Axiomatization of Finite State Processes in Process Algebra
pp. 263
Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP
pp. 278
Bisimulations Up-to for the Linear Time Branching Time Spectrum
pp. 293
Deriving Weak Bisimulation Congruences from Reduction Systems
pp. 308
SOS for Higher Order Processes
pp. 323
The Individual and Collective Token Interpretations of Petri Nets
pp. 338
Merged Processes — A New Condensed Representation of Petri Net Behaviour
pp. 353
Concurrent Clustered Programming
pp. 368
A Theory of System Behaviour in the Presence of Node and Link Failures
pp. 383
Comparing Two Approaches to Compensable Flow Composition
pp. 398
Transactions in RCCS
pp. 413
Two-Player Nonzero-Sum ω-Regular Games
pp. 428
Games Where You Can Play Optimally Without Any Memory
pp. 443
On Implementation of Global Concurrent Systems with Local Asynchronous Controllers
pp. 458
Defining Fairness
pp. 473
Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems
pp. 488
Termination Analysis of Integer Linear Loops
pp. 503
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs
pp. 518
Verification of Qualitative ℤ Constraints
pp. 533
Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces
pp. 548
Taming Interface Specifications
pp. 562
Synthesis of Distributed Systems from Knowledge-Based Specifications
Similar content
2,056
Adaptive Event-Triggered Finite-Time Dissipative Filtering for Interval Type-2 Fuzzy Markov Jump Systems With Asynchronous Modes
Authors:
Jian Liu
,
Guangtao Ran
,
Yiqing Huang
…
Microcell-mediated chromosome transfer provides evidence that polysomy promotes structural instability in tumor cell chromosomes through asynchronous replication and breakage within late-replicating regions.
Authors:
George Klein
,
Ying-Chieh Yang
,
Ludmila Fedorova
…
Contribution ofα-adrenoceptors to depolarization and contraction evoked by continuous asynchronous sympathetic nerve activity in rat tail artery
Authors:
J Brock
,
E M McLachlan
,
S. E. Rayner
See all similar
Cited by
3
Distributed Timed Automata with Independently Evolving Clocks
Authors:
S Akshay
,
Benedikt Bollig
,
Paul B Gastin
…
Global State Estimates for Distributed Systems
Authors:
Gabriel Kalyon
,
Tristan Le Gall
,
Hervé Marchand
…
Symbolic Supervisory Control of Distributed Systems With Communications
Authors:
Gabriel Kalyon
,
Tristan Le Gall
,
Herv Marchand
…
See all cited by