Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
Blog
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
My ScienceOpen
Sign in
Register
Dashboard
Search
17
views
7
references
Top references
cited by
0
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,207
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
On Convergence of Concurrent Systems under Regular Interactions
other
Author(s):
Pavithra Prabhakar
,
Sayan Mitra
,
Mahesh Viswanathan
Publication date
(Print):
2009
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
Socioecological systems
Most cited references
7
Record
: found
Abstract
: not found
Article
: not found
Consensus and Cooperation in Networked Multi-Agent Systems
Reza Olfati-Saber
,
J. Fax
,
Richard Murray
(2007)
0
comments
Cited
1092
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Coordination of groups of mobile autonomous agents using nearest neighbor rules
A. Jadbabaie
,
Jie Lin
,
A.S. Morse
(2003)
0
comments
Cited
823
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Flocking for Multi-Agent Dynamic Systems: Algorithms and Theory
R. Olfati-Saber
(2006)
0
comments
Cited
489
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2009
Pages
: 527-541
DOI:
10.1007/978-3-642-04081-8_35
SO-VID:
d0f50b3d-9b36-4505-b67d-a971889b3e8f
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Perspectives on Transactional Memory
pp. 15
The Effect of Tossing Coins in Omega-Automata
pp. 30
Bigraphical Categories
pp. 37
BlenX Static and Dynamic Semantics
pp. 53
Flow Policy Awareness for Distributed Mobile Code
pp. 69
Volume and Entropy of Regular Timed Languages: Discretization Approach
pp. 84
A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types
pp. 99
Encoding Asynchronous Interactions Using Open Petri Nets
pp. 115
Distributed Asynchronous Automata
pp. 131
Algebra for Infinite Forests with an Application to the Temporal Logic EF
pp. 146
Deriving Syntax and Axioms for Quantitative Regular Behaviours
pp. 178
A Logic-Based Framework for Reasoning about Composite Data Structures
pp. 196
Measuring Permissivity in Finite Games
pp. 244
Probabilistic Weighted Automata
pp. 259
Partially-Commutative Context-Free Processes
pp. 289
A Demonic Approach to Information in Probabilistic Systems
pp. 305
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
pp. 321
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs
pp. 338
Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers
pp. 354
Model-Checking Games for Fixpoint Logics with Partial Order Models
pp. 384
Winning Regions of Pushdown Parity Games: A Saturation Method
pp. 415
Concavely-Priced Probabilistic Timed Automata
pp. 431
Compositional Control Synthesis for Partially Observable Systems
pp. 448
Howe’s Method for Calculi with Passivation
pp. 463
On the Relationship between π-Calculus and Finite Place/Transition Petri Nets
pp. 481
Modeling Radio Networks
pp. 496
Time-Bounded Verification
pp. 511
Secure Enforcement for Global Process Specifications
pp. 527
On Convergence of Concurrent Systems under Regular Interactions
pp. 542
Computing Stuttering Simulations
pp. 557
Weak Time Petri Nets Strike Back!
pp. 587
Counterexamples in Probabilistic LTL Model Checking for Markov Chains
pp. 603
Query-Based Model Checking of Ad Hoc Network Protocols
pp. 620
Strict Divergence for Probabilistic Timed Automata
Similar content
3,207
Weak convergence of empirical and quantile processes in sup-norm metrics via kmt-constructions
Authors:
Galen R. Shorack
Data Oscillation and Convergence of Adaptive FEM
Authors:
Pedro Morin
,
Ricardo H. Nochetto
,
Kunibert Siebert
The effects of gum arabic oral treatment on the metabolic profile of chronic renal failure patients under regular haemodialysis in Central Sudan.
Authors:
Adil Ahmed Ali
,
Khalid Eltom Ali
,
Abd Eigani Fadlalla
…
See all similar