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
20
views
7
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
3,194
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Higher-Order Dynamics in Event Structures
other
Author(s):
David S. Karcher
,
Uwe Nestmann
Publication date
(Online):
December 25 2015
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
Collective Dynamics
Most cited references
7
Record
: found
Abstract
: not found
Article
: not found
Configuration structures, event structures and Petri nets
R.J. van Glabbeek
,
G.D. Plotkin
(2009)
0
comments
Cited
15
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
An introduction to event structures
Glynn Winskel
(1989)
0
comments
Cited
13
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Flow Models of Distributed Computations: Three Equivalent Semantics for CCS
G. Boudol
,
I Castellani
(1994)
0
comments
Cited
9
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2015
Publication date (Online):
December 25 2015
Pages
: 258-271
DOI:
10.1007/978-3-319-25150-9_16
SO-VID:
4558df60-6579-48c5-95c8-3404c8359857
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem
pp. 28
Location Privacy via Geo-Indistinguishability
pp. 39
A Note on Monitors and Büchi Automata
pp. 58
Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture)
pp. 63
The Proof Technique of Unique Solutions of Contractions
pp. 69
On Probabilistic Distributed Strategies
pp. 91
Newton Series, Coinductively
pp. 126
Inverse Monoids of Higher-Dimensional Strings
pp. 144
A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic
pp. 165
Learning Register Automata with Fresh Value Generation
pp. 184
Modeling Product Lines with Kripke Structures and Modal Logic
pp. 203
Deterministic Regular Expressions with Interleaving
pp. 223
Rigid Families for CCS and the $$\pi $$ -calculus
pp. 241
Quotients of Unbounded Parallelism
pp. 258
Higher-Order Dynamics in Event Structures
pp. 272
Asynchronous Announcements in a Public Channel
pp. 290
A Totally Distributed Fair Scheduler for Population Protocols by Randomized Handshakes
pp. 309
Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems
pp. 328
A Graphical Theorem of the Alternative for UTVPI Constraints
pp. 349
Converging from Branching to Linear Metrics on Markov Chains
pp. 368
MSO Logic and the Partial Order Semantics of Place/Transition-Nets
pp. 388
A Resource Aware Computational Interpretation for Herbelin’s Syntax
pp. 404
Undecidability Results for Multi-Lane Spatial Logic
pp. 425
Aspect-Oriented Development of Trustworthy Component-based Systems
pp. 445
A Game of Attribute Decomposition for Software Architecture Design
pp. 464
Multi-rate System Design Through Integrating Synchronous Components
pp. 485
Verifying Android’s Permission Model
pp. 505
CSP and Kripke Structures
pp. 524
Specifying and Analyzing the Kademlia Protocol in Maude
pp. 542
Enforcement of (Timed) Properties with Uncontrollable Events
pp. 563
A Tool Prototype for Model-Based Testing of Cyber-Physical Systems
pp. 573
CAAL: Concurrency Workbench, Aalborg Edition
pp. 597
A Mathematical Game Semantics of Concurrency and Nondeterminism
pp. 608
First Steps Towards Cumulative Inductive Types in CIC
Similar content
3,194
Low-Order Modeling of Dynamic Stall on Airfoils in Incompressible Flow
Authors:
Shreyas Narsipur
,
Ashok Gopalarathnam
,
Jack R. Edwards
Higher-Order Structural Analysis of a Transparent and Flexible High Thermal Conductive Liquid Crystalline Elastomer Sheet and Its Composite
Authors:
Yoshitaka Takezawa
,
Naoki Furukawa
,
Senguttuvan Nachimuthu
…
A Multivariate Hawkes Process Model for Stablecoin-Cryptocurrency Depegging Event Dynamics
Authors:
Connor Oxenhorn
See all similar
Cited by
2
Dynamic Causality in Event Structures
Authors:
Uwe Nestmann
,
David S. Karcher
,
Kirstin Peters
…
Representing Dependencies in Event Structures
Authors:
G. Michele Pinna
See all cited by