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
43
views
0
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,600
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
CONCUR 2011 – Concurrency Theory
other
Editor(s):
Joost-Pieter Katoen
,
Barbara König
Publication date
(Print):
2011
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
Numerical Algebra, Matrix Theory, Differential-Algebraic Equations, and Control Theory
Author and book information
Book
ISBN (Print):
978-3-642-23216-9
ISBN (Electronic):
978-3-642-23217-6
Publication date (Print):
2011
DOI:
10.1007/978-3-642-23217-6
SO-VID:
2ae62fc9-f11f-470b-bd2c-c94c5ad2ae41
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 28
Causal Nets: A Modeling Language Tailored towards Process Discovery
pp. 60
On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing
pp. 156
Semantic Analysis of Gossip Protocols for Wireless Sensor Networks
pp. 187
Advanced Ramsey-Based Büchi Automata Inclusion Testing
pp. 203
Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations
pp. 280
Full Abstraction in a Subtyped pi-Calculus with Linear Types
pp. 297
Controlling Reversibility in Higher-Order Pi
pp. 312
A Connector Algebra for P/T Nets Interactions
pp. 466
A Temporal Logic for the Interaction of Strategies
Similar content
2,600
CONCUR ’96: Concurrency Theory
Authors:
O. Kupferman
When molecules and morphology concur: the ‘Gondwanan’ midges (Diptera: Chironomidae).
Authors:
NB Hardy
,
GE Morse
,
L Puslednik
…
concurring))(noting that "DNA stores and reveals massive amounts of personal, private data about that individual," including "the person's health, their propensity for particular disease, their race and gender characteristics
Authors:
J Gould
See all similar
Cited by
3
Satisfiability of ATL with strategy contexts
Authors:
Francois Laroussinie
,
Nicolas Markey
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes
Authors:
Marco Bernardo
,
Michele Loreti
,
Rocco De Nicola
Modularity and Openness in Modeling Multi-Agent Systems
Authors:
Artur Mȩski
,
Wojciech Jamroga
,
Maciej Szreter
See all cited by