On the public citation graph

The connection between an event structure semantics and an operational semantics forTCSP

https://doi.org/10.1007/bf01178923
0 signed · 46 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-10235-3openalex-snapshot
A Calculus of Communicating Systems
inferredcites →https://doi.org/10.1007/3-540-13345-3_37openalex-snapshot
Partial order semantics versus interleaving semantics for CSP — like languages and its impact on fairness
inferredcites →https://doi.org/10.1007/3-540-15670-4openalex-snapshot
Seminar on Concurrency
inferredcites →https://doi.org/10.1007/3-540-17660-8_52openalex-snapshot
On the semantics of concurrency: Partial orders and transition systems
inferredcites →https://doi.org/10.1007/3-540-17906-2_31openalex-snapshot
Event structures
inferredcites →https://doi.org/10.1007/3-540-17906-2_34openalex-snapshot
TCSP: Theory of communicating sequential processes
inferredcites →https://doi.org/10.1007/3-540-18086-9_27openalex-snapshot
Operational Petri net semantics for CCSP
inferredcites →https://doi.org/10.1007/3-540-53479-2_2openalex-snapshot
Metric pomset semantics for a concurrent language with recursion
inferredcites →https://doi.org/10.1007/3-540-53479-2_5openalex-snapshot
Three equivalent semantics for CCS
inferredcites →https://doi.org/10.1007/bf00268075openalex-snapshot
Specification-oriented semantics for Communicating Processes
inferredcites →https://doi.org/10.1007/bf02915446openalex-snapshot
A distributed operational semantics for CCS based on condition/event systems
inferredcites →https://doi.org/10.1007/bfb0012800openalex-snapshot
Event structure semantics for CCS and related languages
inferredcites →https://doi.org/10.1007/bfb0013028openalex-snapshot
Permutation of transitions: An event structure semantics for CCS and SCCS
inferredcites →https://doi.org/10.1007/bfb0017157openalex-snapshot
On representing CCS programs by finite petri nets
inferredcites →https://doi.org/10.1007/bfb0022474openalex-snapshot
Petri nets, event structures and domains
inferredcites →https://doi.org/10.1007/bfb0039618openalex-snapshot
The step failure semantics
inferredcites →https://doi.org/10.1016/0141-9331(86)90196-1openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1016/0304-3975(81)90112-2openalex-snapshot
Petri nets, event structures and domains, part I
inferredcites →https://doi.org/10.1016/0304-3975(84)90112-9openalex-snapshot
Synchronization trees
inferredcites →https://doi.org/10.1016/0304-3975(91)90303-jopenalex-snapshot
Four domains for concurrency
inferredcites →https://doi.org/10.1016/s0019-9958(82)91250-5openalex-snapshot
Processes and the denotational semantics of concurrency
inferredcites →https://doi.org/10.1016/s0019-9958(84)80025-xopenalex-snapshot
Process algebra for synchronous communication
inferredcites →https://doi.org/10.1109/lics.1988.5112openalex-snapshot
On the consistency of 'truly concurrent' operational and denotational semantics
inferredcites →https://doi.org/10.1145/828.833openalex-snapshot
A Theory of Communicating Sequential Processes
inferredcites →https://doi.org/10.3233/fi-1991-14103openalex-snapshot
Modelling Nondeterministic Concurrent Processes with Event Structures

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-21485-2_19openalex-snapshot
Event Structure Semantics for Multiparty Sessions
inferred← citeshttps://doi.org/10.1007/978-3-319-91268-4_7openalex-snapshot
From Event-Oriented Models to Transition Systems
inferred← citeshttps://doi.org/10.1007/bf02973446openalex-snapshot
Event-based operational semantics and a consistency result for real-time concurrent processes with action refinement
inferred← citeshttps://doi.org/10.1007/bfb0014334openalex-snapshot
A categorical characterization of consistency results
inferred← citeshttps://doi.org/10.1016/0304-3975(94)00046-8openalex-snapshot
Denotational semantics in the cpo and metric approach
inferred← citeshttps://doi.org/10.1016/j.jlamp.2022.100844openalex-snapshot
Event structure semantics for multiparty sessions
inferred← citeshttps://doi.org/10.1016/j.tcs.2003.08.009openalex-snapshot
Towards the hierarchical verification of reactive systems
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.11.007openalex-snapshot
CSP-CASL—A new integration of process algebra and algebraic specification
inferred← citeshttps://doi.org/10.1016/s0020-0190(98)00105-7openalex-snapshot
Transition systems from event structures revisited
inferred← citeshttps://doi.org/10.1016/s0169-7552(97)00134-7openalex-snapshot
Partial order models for quantitative extensions of LOTOS
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00419-9openalex-snapshot
Underspecification for a simple process algebra of recursive processes
inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00342-4openalex-snapshot
Metric semantics for true concurrent real time
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80495-5openalex-snapshot
Taking Decisions Late: End-Based Choice Combined with Action Refinement
inferred← citeshttps://doi.org/10.1023/a:1008649927166openalex-snapshot
A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions
inferred← citeshttps://doi.org/10.1109/sefm.2005.32openalex-snapshot
Operational semantics for real-time processes with action refinement
inferred← citeshttps://doi.org/10.3233/fi-1997-291207openalex-snapshot
MECHANIZATION OF REAL-TIME LINEAR CSP WITH HIGHER ORDER LOGIC
inferred← citeshttps://doi.org/10.3233/fi-1997-29302openalex-snapshot
HOW TO INTERPRET AND ESTABLISH CONSISTENCY RESULTS FOR SEMANTICS OF CONCURRENT PROGRAMMING LANGUAGES
inferred← citeshttps://doi.org/10.3233/fi-1999-40402openalex-snapshot
Full Abstractness of a Metric Semantics for Action Refinement
inferred← citeshttps://doi.org/10.3233/fun-2005-681-204openalex-snapshot
Event Structures for Arbitrary Disruption
inferred← citeshttps://doi.org/10.4204/eptcs.365.0.2openalex-snapshot
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions
inferred← citeshttps://doi.org/10.4204/eptcs.386.10openalex-snapshot
Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.