On the public citation graph

Distributed execution of specifications

https://doi.org/10.1007/bf01088589
0 signed · 34 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-54834-3_54openalex-snapshot
A VDM subset compiler
inferredcites →https://doi.org/10.1007/bf00365334openalex-snapshot
Timed high-level nets
inferredcites →https://doi.org/10.1007/bf01088585openalex-snapshot
IPTES: A concurrent engineering approach for real-time software development
inferredcites →https://doi.org/10.1007/bf01088586openalex-snapshot
The IPTES environment: Support for incremental, heterogeneous and distributed prototyping
inferredcites →https://doi.org/10.1007/bf01088587openalex-snapshot
Graphical animation as a form of prototyping real-time software systems
inferredcites →https://doi.org/10.1007/bf01088588openalex-snapshot
An executable subset of VDM-SL in an SA/RT framework
inferredcites →https://doi.org/10.1007/bf01088590openalex-snapshot
High-Level Timed Petri Nets as a kernel for executable specifications
inferredcites →https://doi.org/10.1007/bf01088591openalex-snapshot
Giving semantics to SA/RT by means of high-level timed Petri nets
inferredcites →https://doi.org/10.1016/0011-684x(86)90240-6openalex-snapshot
Systematic software development using VDM
inferredcites →https://doi.org/10.1016/0165-6074(92)90288-iopenalex-snapshot
IPTES — Incremental Prototyping Technology for Embedded real-time Systems
inferredcites →https://doi.org/10.1016/b978-0-08-041708-0.50009-xopenalex-snapshot
An architecture for incremental prototyping of distributed real-time systems
inferredcites →https://doi.org/10.1016/b978-0-08-041894-0.50011-3openalex-snapshot
HETEROGENEOUS PROTOTYPES IN CONCURRENT ENGINEERING OF EMBEDDED SOFTWARE
inferredcites →https://doi.org/10.1016/c2009-0-01308-7openalex-snapshot
Distributed Computer Control Systems 1991
inferredcites →https://doi.org/10.1016/s1474-6670(17)50123-8openalex-snapshot
Heterogeneous Prototypes in Concurrent Engineering of Embedded Software
inferredcites →https://doi.org/10.1109/2.59openalex-snapshot
A spiral model of software development and enhancement
inferredcites →https://doi.org/10.1109/32.67597openalex-snapshot
A unified high-level Petri net formalism for time-critical systems
inferredcites →https://doi.org/10.1109/32.75415openalex-snapshot
Modeling and verification of time dependent systems using time Petri nets
inferredcites →https://doi.org/10.1109/emwrt.1992.637475openalex-snapshot
Real time object communication protocol for incremental and distributed prototyping
inferredcites →https://doi.org/10.1109/tse.1986.6312936openalex-snapshot
The transformation schema: An extension of the data flow diagram to represent control and timing
inferredcites →https://doi.org/10.1145/3335772.3335934openalex-snapshot
Time, clocks, and the ordering of events in a distributed system
inferredcites →https://doi.org/10.1145/359545.359563openalex-snapshot
Time, clocks, and the ordering of events in a distributed system

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-48753-0_11openalex-snapshot
Environment for the Development and Specification of Real-Time Ada Programs
inferred← citeshttps://doi.org/10.1007/978-0-387-35567-2_24openalex-snapshot
Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-94764-8_19openalex-snapshot
Efficient Distributed Execution of Multi-component Scenario-Based Models
inferred← citeshttps://doi.org/10.1007/bf01088585openalex-snapshot
IPTES: A concurrent engineering approach for real-time software development
inferred← citeshttps://doi.org/10.1007/bf01088586openalex-snapshot
The IPTES environment: Support for incremental, heterogeneous and distributed prototyping
inferred← citeshttps://doi.org/10.1007/bf01088587openalex-snapshot
Graphical animation as a form of prototyping real-time software systems
inferred← citeshttps://doi.org/10.1016/0066-4138(94)90005-1openalex-snapshot
An environment for distributed prototyping of real time systems
inferred← citeshttps://doi.org/10.1016/0967-0661(95)00072-3openalex-snapshot
An environment for distributed prototyping of real-time systems
inferred← citeshttps://doi.org/10.1016/b978-0-08-042237-4.50020-2openalex-snapshot
A TARGET CODE MODEL FOR INCREMENTAL PROTOTYPING
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)45758-2openalex-snapshot
A target code model for incremental prototyping
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)45961-1openalex-snapshot
An Environment for Distributed Prototyping of Real Time Systems
inferred← citeshttps://doi.org/10.1109/emwrts.1995.514311openalex-snapshot
Hybrid specification and formal distributed heterogeneous prototyping of distributed real-time systems
inferred← citeshttps://doi.org/10.1109/rtse.1998.766512openalex-snapshot
Teaching real-time systems using Petri nets
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.