On the public citation graph
Net-based description of parallel object-based systems, or POTs and POPs
0 signed · 65 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-17906-2_33openalex-snapshot
COSY: Its relation to nets and to CSP
inferredcites →https://doi.org/10.1007/3-540-18771-5_59openalex-snapshot
Basic notions of actor grammars
inferredcites →https://doi.org/10.1007/3-540-50580-6_22openalex-snapshot
OBJSA Nets: a class of high-level nets having objects as domains
inferredcites →https://doi.org/10.1007/3-540-51525-9openalex-snapshot
Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets
inferredcites →https://doi.org/10.1007/3-540-58152-9openalex-snapshot
Application and Theory of Petri Nets 1994
inferredcites →https://doi.org/10.1007/978-1-4471-3860-0_12openalex-snapshot
High-Level Nets For Dynamic Dining Philosophers Systems
inferredcites →https://doi.org/10.1007/978-1-4471-3860-0_13openalex-snapshot
Formalizing the Behaviour of Parallel Object-Based Systems by Petri Nets
inferredcites →https://doi.org/10.1007/978-3-540-47919-2_4openalex-snapshot
Behaviour of Elementary Net Systems
inferredcites →https://doi.org/10.1007/978-3-642-68353-4_44openalex-snapshot
Superposed Automata Nets
inferredcites →https://doi.org/10.1007/bf01692511openalex-snapshot
Semantics of context-free languages
inferredcites →https://doi.org/10.1007/bf01887214openalex-snapshot
Issues in the design of a parallel object-oriented language
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/bfb0017157openalex-snapshot
On representing CCS programs by finite petri nets
inferredcites →https://doi.org/10.1007/bfb0039072openalex-snapshot
Rewriting as a unified model of concurrency
inferredcites →https://doi.org/10.1007/bfb0046836openalex-snapshot
Behaviour of elementary net systems
inferredcites →https://doi.org/10.1016/0004-3702(77)90033-9openalex-snapshot
Viewing control structures as patterns of passing messages
inferredcites →https://doi.org/10.1016/0167-6423(89)90034-8openalex-snapshot
Object-oriented software construction
inferredcites →https://doi.org/10.1016/0304-3975(81)90113-4openalex-snapshot
System modelling with high-level Petri nets
inferredcites →https://doi.org/10.1016/0304-3975(88)90048-5openalex-snapshot
Designing equivalent semantic models for process creation
inferredcites →https://doi.org/10.1016/s0019-9958(83)80040-0openalex-snapshot
The non-sequential behaviour of Petri nets
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1137/0219023openalex-snapshot
Semantic Correctness for a Parallel Object-Oriented Language
inferredcites →https://doi.org/10.1145/151233.151242openalex-snapshot
Programming by multiset transformation
inferredcites →https://doi.org/10.1145/357980.358021openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/359576.359585openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/512644.512662openalex-snapshot
Operational semantics of a parallel object-oriented language
inferredcites →https://doi.org/10.1145/72551.72552openalex-snapshot
Programming languages for distributed computing systems
inferredcites →https://doi.org/10.1145/97945.97958openalex-snapshot
A logical theory of concurrent objects
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11494881_17openalex-snapshot
A Distributed Implementation of Mobile Nets as Mobile Agents
inferred← citeshttps://doi.org/10.1007/3-540-45397-0_12openalex-snapshot
An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment
inferred← citeshttps://doi.org/10.1007/3-540-45397-0_4openalex-snapshot
CLOWN as a Testbed for Concurrent Object-Oriented Concepts
inferred← citeshttps://doi.org/10.1007/3-540-45711-9openalex-snapshot
Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg
inferred← citeshttps://doi.org/10.1007/3-540-46000-4_22openalex-snapshot
PN2: An Elementary Model for Design and Analysis of Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/3-540-54152-7_61openalex-snapshot
Formalisation of the behavior of actors by colored Petri nets and some applications
inferred← citeshttps://doi.org/10.1007/3-540-54317-1_81openalex-snapshot
Conditional rewriting logic: Deduction, models and concurrency
inferred← citeshttps://doi.org/10.1007/3-540-54430-5_75openalex-snapshot
Formal techniques for parallel object-oriented languages
inferred← citeshttps://doi.org/10.1007/3-540-55160-3_49openalex-snapshot
Parallel programming in maude
inferred← citeshttps://doi.org/10.1007/3-540-55613-3_6openalex-snapshot
Formal techniques for parallel object-oriented languages
inferred← citeshttps://doi.org/10.1007/3-540-60029-9_45openalex-snapshot
From Coloured Petri Nets to Object Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-61604-7_64openalex-snapshot
Rewriting logic as a semantic framework for concurrency: a progress report
inferred← citeshttps://doi.org/10.1007/978-3-540-30476-0_26openalex-snapshot
Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-87442-3_80openalex-snapshot
Formal Description and Verification of Web Service Composition Based on OOPN
inferred← citeshttps://doi.org/10.1007/978-3-642-58622-4_10openalex-snapshot
Research Directions in Rewriting Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-1317-7_1openalex-snapshot
Action and Change in Rewriting Logic
inferred← citeshttps://doi.org/10.1007/bfb0019449openalex-snapshot
Graph grammar-based description of object-based systems
inferred← citeshttps://doi.org/10.1007/bfb0039072openalex-snapshot
Rewriting as a unified model of concurrency
inferred← citeshttps://doi.org/10.1016/0304-3975(92)90182-fopenalex-snapshot
Conditional rewriting logic as a unified model of concurrency
inferred← citeshttps://doi.org/10.1016/0950-5849(94)00013-iopenalex-snapshot
A structured specification of an active database system
inferred← citeshttps://doi.org/10.1016/s0164-1212(98)10068-7openalex-snapshot
Architecture-driven modeling of real-time concurrent systems with applications in FMS
inferred← citeshttps://doi.org/10.1109/32.544348openalex-snapshot
Modular algebraic nets to specify concurrent systems
inferred← citeshttps://doi.org/10.1109/apsec.1994.465246openalex-snapshot
Formal definitions of behavioural compatibility for active and passive objects
inferred← citeshttps://doi.org/10.1109/icsmc.1993.384960openalex-snapshot
Class orientation and inheritance in modular algebraic nets
inferred← citeshttps://doi.org/10.1109/icsmc.1997.633173openalex-snapshot
Object-based high-level Petri nets as a formal approach to distributed information systems
inferred← citeshttps://doi.org/10.1109/tc.2004.66openalex-snapshot
Structural and dynamic changes in concurrent systems: reconfigurable Petri nets
inferred← citeshttps://doi.org/10.1145/97945.97958openalex-snapshot
A logical theory of concurrent objects
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.