On the public citation graph
A formal semantics for concurrent systems with a priority relation
0 signed · 41 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-10699-5_95openalex-snapshot
Formal behavioural specification of concurrent systems without globality assumptions
inferredcites →https://doi.org/10.1007/3-540-15670-4_13openalex-snapshot
Maximally concurrent evolution of non-sequential systems
inferredcites →https://doi.org/10.1007/978-3-642-69028-0_17openalex-snapshot
Subset Languages of Petri Nets
inferredcites →https://doi.org/10.1007/bf00264560openalex-snapshot
Dispatcher primitives for the construction of operating system kernels
inferredcites →https://doi.org/10.1007/bf00264564openalex-snapshot
Formal semantics of a class of high-level primitives for coordinating concurrent processes
inferredcites →https://doi.org/10.1007/bf00266047openalex-snapshot
COSY ? a system specification language based on paths and processes
inferredcites →https://doi.org/10.1016/0304-3975(82)90020-2openalex-snapshot
Adequacy properties of path programs
inferredcites →https://doi.org/10.1016/0304-3975(83)90114-7openalex-snapshot
Calculi for synchrony and asynchrony
inferredcites →https://doi.org/10.1145/362759.362813openalex-snapshot
Concurrent control with “readers” and “writers”
inferredcites →https://doi.org/10.1145/954587.954591openalex-snapshot
Abstract specification of resource accessing disciplines
inferredcites →https://doi.org/10.4064/fm-16-1-386-389openalex-snapshot
Sur l'extension de l'ordre partiel
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-18086-9_21openalex-snapshot
On equivalent execution semantics of concurrent systems
inferred← citeshttps://doi.org/10.1007/3-540-54152-7_58openalex-snapshot
Invariants and paradigms of concurrency theory
inferred← citeshttps://doi.org/10.1007/3-540-54233-7_157openalex-snapshot
The meaning of negative premises in transition system specifications
inferred← citeshttps://doi.org/10.1007/3-540-54430-5_97openalex-snapshot
Invariant semantics of nets with inhibitor arcs
inferred← citeshttps://doi.org/10.1007/3-540-55610-9_172openalex-snapshot
A basic-net algebra for program semantics and its application to occam
inferred← citeshttps://doi.org/10.1007/3-540-55610-9_174openalex-snapshot
Modelling systems with dynamic priorities
inferred← citeshttps://doi.org/10.1007/3-540-56610-4_53openalex-snapshot
On relating some models for concurrency
inferred← citeshttps://doi.org/10.1007/3-540-57529-4_68openalex-snapshot
Order structures and generalisations of Szpilrajn's theorem
inferred← citeshttps://doi.org/10.1007/3-540-58184-7_136openalex-snapshot
Deriving histories of nets with priority relation
inferred← citeshttps://doi.org/10.1007/3-540-63139-9_38openalex-snapshot
Analysis of Petri nets with a dynamic priority method
inferred← citeshttps://doi.org/10.1007/978-1-4757-3143-9_1openalex-snapshot
Comprehensive Causal Specification of Asynchronous Controller and Arbiter Behaviour
inferred← citeshttps://doi.org/10.1007/978-3-662-25209-3_31openalex-snapshot
Invariants and Paradigms of Concurrency Theory
inferred← citeshttps://doi.org/10.1007/bf01784023openalex-snapshot
Step semantics for “true” concurrency with recursion
inferred← citeshttps://doi.org/10.1007/bf03036470openalex-snapshot
On the analysis of Petri nets with static priorities
inferred← citeshttps://doi.org/10.1007/s002360050090openalex-snapshot
Fundamentals of modelling concurrency using discrete relational structures
inferred← citeshttps://doi.org/10.1007/s002360050138openalex-snapshot
Priority conflict-free Petri nets
inferred← citeshttps://doi.org/10.1016/0167-739x(92)90073-kopenalex-snapshot
Invariants and paradigms of concurrency theory
inferred← citeshttps://doi.org/10.1016/0304-3975(92)90184-hopenalex-snapshot
Petri net semantics of priority systems
inferred← citeshttps://doi.org/10.1016/0304-3975(93)90238-oopenalex-snapshot
Structure of concurrency
inferred← citeshttps://doi.org/10.1016/j.ic.2016.12.009openalex-snapshot
Modeling concurrency with interval traces
inferred← citeshttps://doi.org/10.1023/a:1022902408130openalex-snapshot
True Concurrency in Models of Asynchronous Circuit Behavior
inferred← citeshttps://doi.org/10.1109/real.1989.63558openalex-snapshot
Communicating shared resources: a model for distributed real-time systems
inferred← citeshttps://doi.org/10.3233/fi-1999-38301openalex-snapshot
On Causality Semantics of Nets with Priorities
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.