On the public citation graph

Execution of distributed reactive systems

https://doi.org/10.1007/bfb0020452
0 signed · 32 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-11494-7_22openalex-snapshot
Specification and verification of concurrent systems in CESAR
inferredcites →https://doi.org/10.1007/978-1-4757-2231-4openalex-snapshot
Synchronous Programming of Reactive Systems
inferredcites →https://doi.org/10.1007/978-3-642-82453-1_17openalex-snapshot
On the Development of Reactive Systems
inferredcites →https://doi.org/10.1007/bfb0028726openalex-snapshot
Synchronous programming of reactive systems
inferredcites →https://doi.org/10.1007/bfb0084815openalex-snapshot
Operational and compositional semantics of synchronous automaton compositions
inferredcites →https://doi.org/10.1016/b978-155860702-6/50048-xopenalex-snapshot
Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems
inferredcites →https://doi.org/10.1016/s1474-6670(17)54524-3openalex-snapshot
SAGA: A Software Development Environment for Dependability Automatic Controls
inferredcites →https://doi.org/10.1109/2.30733openalex-snapshot
A survey of synchronization methods for parallel computers
inferredcites →https://doi.org/10.1109/5.97299openalex-snapshot
The ESTEREL language
inferredcites →https://doi.org/10.1109/5.97300openalex-snapshot
The synchronous data flow programming language LUSTRE
inferredcites →https://doi.org/10.1109/5.97301openalex-snapshot
Programming real-time applications with SIGNAL
inferredcites →https://doi.org/10.1145/5397.5399openalex-snapshot
Automatic verification of finite-state concurrent systems using temporal logic specifications
inferredcites →https://doi.org/10.1184/r1/6609569openalex-snapshot
SML-a high level language for the design and verification of finite state machines

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-540-45212-6_14openalex-snapshot
Clock-Driven Automatic Distribution of Lustre Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-38613-8_6openalex-snapshot
Knowledge for the Distributed Implementation of Constrained Systems
inferred← citeshttps://doi.org/10.1007/bfb0028726openalex-snapshot
Synchronous programming of reactive systems
inferred← citeshttps://doi.org/10.1007/s10270-014-0451-zopenalex-snapshot
Knowledge-based construction of distributed constrained systems
inferred← citeshttps://doi.org/10.1016/s0167-8191(01)00150-8openalex-snapshot
Elimination of redundant messages with a two-pass static analysis algorithm
inferred← citeshttps://doi.org/10.1109/32.798329openalex-snapshot
Automatic distribution of reactive systems for asynchronous networks of processors
inferred← citeshttps://doi.org/10.1109/csd.2001.981771openalex-snapshot
Software implementation of synchronous programs
inferred← citeshttps://doi.org/10.1109/empdp.2001.905041openalex-snapshot
Elimination of redundant messages with a two-pass static analysis algorithm
inferred← citeshttps://doi.org/10.1109/ispdc.2014.32openalex-snapshot
Distributed Implementation of Constrained Systems Based on Knowledge
inferred← citeshttps://doi.org/10.1109/memcod.2014.6961841openalex-snapshot
From clock-driven to data-driven models
inferred← citeshttps://doi.org/10.1109/memcod.2018.8556988openalex-snapshot
Desynchronization: From Macro-step to Micro-step
inferred← citeshttps://doi.org/10.1109/samos.2011.6045487openalex-snapshot
Mapping of modal applications given throughput and latency constraints
inferred← citeshttps://doi.org/10.1109/tse.2015.2510004openalex-snapshot
Designing Autonomic Management Systems by Using Reactive Control Techniques
inferred← citeshttps://doi.org/10.1145/1165780.1165786openalex-snapshot
Automatic rate desynchronization of embedded reactive programs
inferred← citeshttps://doi.org/10.1145/3183519.3183534openalex-snapshot
Robustness testing of autonomy software
inferred← citeshttps://doi.org/10.1145/3564529openalex-snapshot
A Survey on Parallelism and Determinism
inferred← citeshttps://doi.org/10.5075/epfl-thesis-1664openalex-snapshot
An incremental prototyping methodology for distributed systems based on formal specifications
inferred← citeshttps://doi.org/10.70675/613c15e0z2505z47e1zbfb4zd60c657fda74openalex-snapshot
Programmation web réactive
inferred← citeshttps://doi.org/10.70675/ccf3ba54z130az4275z9b74zef1735315214openalex-snapshot
Modélisation des systèmes synchrones en BIP
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.