On the public citation graph

Hierarchical ordering of sequential processes

0 signed · 688 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.2307/1420732openalex-snapshot

The Act of Creation

What points at this work

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

inferred← citeshttps://doi.org/10.1002/(sici)1096-9128(200001)12:1<35::aid-cpe458>3.0.co;2-8openalex-snapshot

Distributed BACI: a toolkit for distributed applications

inferred← citeshttps://doi.org/10.1002/(sici)1520-684x(199705)28:5<33::aid-scj4>3.0.co;2-popenalex-snapshot

A parallel computation model and programming language for the description of collaboration among objects

inferred← citeshttps://doi.org/10.1002/9780470050118.ecse079openalex-snapshot

Concurrent Programming

inferred← citeshttps://doi.org/10.1002/cpe.910openalex-snapshot

GCF: a general coupling framework

inferred← citeshttps://doi.org/10.1002/j.1097-024x.1986.tb00014.xopenalex-snapshot

Contextually Communicating Sequential Processes — a Software Engineering Environment

inferred← citeshttps://doi.org/10.1002/net.22014openalex-snapshot

Optimizing concurrency under Scheduling by Edge Reversal

inferred← citeshttps://doi.org/10.1002/spe.4380040304openalex-snapshot

A storage mapping technique for the implementation of protective domains

inferred← citeshttps://doi.org/10.1002/spe.4380060308openalex-snapshot

Systematic programming of scheduling algorithms

inferred← citeshttps://doi.org/10.1002/spe.4380070107openalex-snapshot

The implementation of synchronizing operations in various environments

inferred← citeshttps://doi.org/10.1002/spe.4380090303openalex-snapshot

Parallel processing in an adaptable application oriented language processor

inferred← citeshttps://doi.org/10.1002/spe.4380091202openalex-snapshot

p—a timesharing operating system for laboratory automation

inferred← citeshttps://doi.org/10.1002/spe.4380091204openalex-snapshot

Concurrent Pascal with backward error recovery: Language features and examples

inferred← citeshttps://doi.org/10.1002/spe.4380120404openalex-snapshot

The STAB multiprocessing environment for CYBA‐M

inferred← citeshttps://doi.org/10.1002/spe.4380121009openalex-snapshot

A robust distributed solution to the dining philosophers problem

inferred← citeshttps://doi.org/10.1002/spe.4380141106openalex-snapshot

Dedicated, distributed and portable operating systems: A structuring concept

inferred← citeshttps://doi.org/10.1002/spe.4380200402openalex-snapshot

Signalling regions: Multiprocessing in a shared memory reconsidered

inferred← citeshttps://doi.org/10.1002/spe.4380241003openalex-snapshot

Mirage+: A kernel implementation of distributed shared memory on a network of personal computers

inferred← citeshttps://doi.org/10.1006/inco.1996.0020openalex-snapshot

Scheduling Jobs Using Common Resources

inferred← citeshttps://doi.org/10.1006/jpdc.1996.0003openalex-snapshot

Scalable Concurrent B-Trees Using Multi-Version Memory

inferred← citeshttps://doi.org/10.1006/jpdc.2001.1828openalex-snapshot

Stabilization-Preserving Atomicity Refinement

inferred← citeshttps://doi.org/10.1007/1-4020-8141-3_16openalex-snapshot

The Driving Philosophers

inferred← citeshttps://doi.org/10.1007/10722581_2openalex-snapshot

Composable Message Semantics in Oberon

inferred← citeshttps://doi.org/10.1007/11516798_31openalex-snapshot

A Novel Distributed Scheduling Algorithm for Resource Sharing Under Near-Heavy Load

inferred← citeshttps://doi.org/10.1007/11561927_23openalex-snapshot

Polymorphic Contention Management

inferred← citeshttps://doi.org/10.1007/11561927_5openalex-snapshot

On Conspiracies and Hyperfairness in Distributed Computing

inferred← citeshttps://doi.org/10.1007/11678809_5openalex-snapshot

Indirect Interaction in Environments for Multi-agent Systems

inferred← citeshttps://doi.org/10.1007/11860990_23openalex-snapshot

The Dining Philosophers Problem Revisited

inferred← citeshttps://doi.org/10.1007/11880646_6openalex-snapshot

Simulating Bacterial Transcription and Translation in a Stochastic π Calculus

inferred← citeshttps://doi.org/10.1007/3-540-06859-7_144openalex-snapshot

A model for structured parallel processing in block-structured programming languages

inferred← citeshttps://doi.org/10.1007/3-540-07854-1_208openalex-snapshot

Generating control mechanisms by restrictions

inferred← citeshttps://doi.org/10.1007/3-540-07994-7_50openalex-snapshot

The programming language concurrent pascal

inferred← citeshttps://doi.org/10.1007/3-540-08755-9_7openalex-snapshot

Synchronization in a layered system

inferred← citeshttps://doi.org/10.1007/3-540-09981-6_2openalex-snapshot

Concrete control phases in languages for programming complex systems

inferred← citeshttps://doi.org/10.1007/3-540-10291-4_22openalex-snapshot

A comparison between petri-nets and graph grammars

inferred← citeshttps://doi.org/10.1007/3-540-10856-4_122openalex-snapshot

A starvation-free solution of the dining philosophers' problem by use of interaction systems

inferred← citeshttps://doi.org/10.1007/3-540-11172-7_7openalex-snapshot

Concurrent programming : Microcomputers

inferred← citeshttps://doi.org/10.1007/3-540-12896-4_371openalex-snapshot

A verifier for compact parallel coordination programs

inferred← citeshttps://doi.org/10.1007/3-540-15204-0_10openalex-snapshot

Fair serializability of iterated transactions using fifo-nets

inferred← citeshttps://doi.org/10.1007/3-540-36190-1_1openalex-snapshot

Composing Snippets

inferred← citeshttps://doi.org/10.1007/3-540-37437-x_10openalex-snapshot

Parallelisierung, Nebenläufigkeit und alternative Modelle

inferred← citeshttps://doi.org/10.1007/3-540-40026-5_15openalex-snapshot

Self-Stabilizing Local Mutual Exclusion and Daemon Refinement

inferred← citeshttps://doi.org/10.1007/3-540-45032-7_7openalex-snapshot

Self-Stabilizing Token Circulation on Uniform Trees by Using Edge-Tokens

inferred← citeshttps://doi.org/10.1007/3-540-45591-4_16openalex-snapshot

The Fuzzy Philosophers

inferred← citeshttps://doi.org/10.1007/3-540-45619-8_3openalex-snapshot

An Abductive Approach for Analysing Event-Based Requirements Specifications

inferred← citeshttps://doi.org/10.1007/3-540-45622-8_1openalex-snapshot

Model Checking and Abstraction

inferred← citeshttps://doi.org/10.1007/3-540-45740-2_17openalex-snapshot

Optimising Enabling Tests and Unfoldings of Algebraic System Nets

inferred← citeshttps://doi.org/10.1007/3-540-48169-9_18openalex-snapshot

Stabilization-Preserving Atomicity Refinement

inferred← citeshttps://doi.org/10.1007/3-540-51498-8_8openalex-snapshot

Recent developments in the design of asynchronous circuits

inferred← citeshttps://doi.org/10.1007/3-540-53863-1_19openalex-snapshot

A survey of behaviour and equivalence preserving refinements of petri nets

inferred← citeshttps://doi.org/10.1007/3-540-54712-6_248openalex-snapshot

Direct interaction among active data structures: A tool for building AI systems

inferred← citeshttps://doi.org/10.1007/3-540-55437-8_75openalex-snapshot

Parallel and distributed programming with ParMod-C

inferred← citeshttps://doi.org/10.1007/3-540-56188-9_19openalex-snapshot

Distributed resource allocation algorithms

inferred← citeshttps://doi.org/10.1007/3-540-61042-1_38openalex-snapshot

Relation-algebraic analysis of Petri nets with RELVIEW

inferred← citeshttps://doi.org/10.1007/3-540-62064-8_14openalex-snapshot

Processes in cause-effect structures

inferred← citeshttps://doi.org/10.1007/3-540-65307-4_52openalex-snapshot

Distributed algorithms for networks of agents

inferred← citeshttps://doi.org/10.1007/3-540-69687-3_45openalex-snapshot

Subtyping as a Support for Incremental Development

inferred← citeshttps://doi.org/10.1007/978-0-230-37408-9_4openalex-snapshot

Processes and Threads

inferred← citeshttps://doi.org/10.1007/978-0-585-27524-6_9openalex-snapshot

Structural Active-Object Systems Fundamentals

inferred← citeshttps://doi.org/10.1007/978-1-4419-0941-1_13openalex-snapshot

A Synchronization Example Design with Polychrony

inferred← citeshttps://doi.org/10.1007/978-1-4471-3240-0_12openalex-snapshot

Environment-based Development of Reactive Systems

inferred← citeshttps://doi.org/10.1007/978-1-4471-3860-0_12openalex-snapshot

High-Level Nets For Dynamic Dining Philosophers Systems

inferred← citeshttps://doi.org/10.1007/978-1-4612-4476-9_9openalex-snapshot

On a Renewed Visit to the Banker and a Remarkable Analogy

inferred← citeshttps://doi.org/10.1007/978-1-4612-6315-9_19openalex-snapshot

The Programming Language Concurrent Pascal

inferred← citeshttps://doi.org/10.1007/978-1-4615-1471-8_4openalex-snapshot

Formal Verification of Circuit Designs

inferred← citeshttps://doi.org/10.1007/978-1-4615-4549-1_6openalex-snapshot

Implementing Protocols with Synchronous Objects

inferred← citeshttps://doi.org/10.1007/978-1-4757-3472-0_1openalex-snapshot

The Invention of Concurrent Programming

inferred← citeshttps://doi.org/10.1007/978-1-4757-3472-0_11openalex-snapshot

The Programming Language Concurrent Pascal

inferred← citeshttps://doi.org/10.1007/978-1-4757-3510-9_1openalex-snapshot

The Evolution of Operating Systems

inferred← citeshttps://doi.org/10.1007/978-1-4757-3609-0_2openalex-snapshot

The Combinatorics of Resource Sharing

inferred← citeshttps://doi.org/10.1007/978-1-4899-2957-0_9openalex-snapshot

Operating systems for real-time applications

inferred← citeshttps://doi.org/10.1007/978-3-030-04771-9_23openalex-snapshot

Reo Coordination Model for Simulation of Quantum Internet Software

inferred← citeshttps://doi.org/10.1007/978-3-030-05529-5_9openalex-snapshot

Anonymity in Distributed Read/Write Systems: An Introductory Survey

inferred← citeshttps://doi.org/10.1007/978-3-030-12835-7_5openalex-snapshot

Deadlock Detection Examples: The Dedan Environment at Work

inferred← citeshttps://doi.org/10.1007/978-3-030-14174-5_3openalex-snapshot

Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems

inferred← citeshttps://doi.org/10.1007/978-3-030-17465-1_21openalex-snapshot

Measuring Masking Fault-Tolerance

inferred← citeshttps://doi.org/10.1007/978-3-030-20461-7_13openalex-snapshot

Examples

inferred← citeshttps://doi.org/10.1007/978-3-030-20461-7_5openalex-snapshot

Rough Cause-Effect Structures

inferred← citeshttps://doi.org/10.1007/978-3-030-36987-3_9openalex-snapshot

Generalised Dining Philosophers as Feedback Control

inferred← citeshttps://doi.org/10.1007/978-3-030-38800-3_2openalex-snapshot

Logics for Software Engineering

inferred← citeshttps://doi.org/10.1007/978-3-030-50323-9_11openalex-snapshot

A Resource Usage Efficient Distributed Allocation Algorithm for 5G Service Function Chains

inferred← citeshttps://doi.org/10.1007/978-3-030-88813-8_10openalex-snapshot

Examples from Several Fields

inferred← citeshttps://doi.org/10.1007/978-3-030-88813-8_7openalex-snapshot

Rough Cause-Effect Structures

inferred← citeshttps://doi.org/10.1007/978-3-030-99524-9_22openalex-snapshot

MaskD: A Tool for Measuring Masking Fault-Tolerance

inferred← citeshttps://doi.org/10.1007/978-3-031-29927-8_30openalex-snapshot

MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity

inferred← citeshttps://doi.org/10.1007/978-3-031-34144-1_14openalex-snapshot

Concurrent Programming

inferred← citeshttps://doi.org/10.1007/978-3-031-43835-6_19openalex-snapshot

Causal Reversibility Implies Time Reversibility

inferred← citeshttps://doi.org/10.1007/978-3-031-54129-2_17openalex-snapshot

Forkfuzz: Leveraging the Fork-Awareness in Coverage-Guided Fuzzing

inferred← citeshttps://doi.org/10.1007/978-3-031-74498-3_1openalex-snapshot

On Distributed Computing: A View, Physical Versus Logical Objects, and a Look at Fully Anonymous Systems

inferred← citeshttps://doi.org/10.1007/978-3-032-08483-5_1openalex-snapshot

Addressing the Schema Representation Problem in Process Models Using Petri Nets—First Results Illustrated by the Dining Philosophers Problem

inferred← citeshttps://doi.org/10.1007/978-3-032-22730-0_7openalex-snapshot

Synthesising Asynchronous Automata from Fair Specifications

inferred← citeshttps://doi.org/10.1007/978-3-319-01246-9_1openalex-snapshot

Setting the Stage

inferred← citeshttps://doi.org/10.1007/978-3-319-03850-6_19openalex-snapshot

Fast and Scalable Queue-Based Resource Allocation Lock on Shared-Memory Multiprocessors

inferred← citeshttps://doi.org/10.1007/978-3-319-19237-6_18openalex-snapshot

Applying Predicate Abstraction to Abstract State Machines

inferred← citeshttps://doi.org/10.1007/978-3-319-19237-6_30openalex-snapshot

Applying Predicate Abstraction to Abstract State Machines

inferred← citeshttps://doi.org/10.1007/978-3-319-19488-2_16openalex-snapshot

New Search Strategies for the Petri Net CEGAR Approach

inferred← citeshttps://doi.org/10.1007/978-3-319-25703-7_7openalex-snapshot

Locks

inferred← citeshttps://doi.org/10.1007/978-3-319-25703-7_9openalex-snapshot

High-Level Concurrency Constructs

inferred← citeshttps://doi.org/10.1007/978-3-319-28860-4_20openalex-snapshot

Petri Net-Based Synthesis of Agent Cooperation by Means of Modularity and Supervision Principles

inferred← citeshttps://doi.org/10.1007/978-3-319-39086-4_6openalex-snapshot

Petri Net Synthesis for Restricted Classes of Nets

inferred← citeshttps://doi.org/10.1007/978-3-319-53321-6_5openalex-snapshot

Simulation Examples

inferred← citeshttps://doi.org/10.1007/978-3-319-54042-9_1openalex-snapshot

Petri Nets in Discrete-Event and Hybrid Systems Modelling, Analysing, Performance Evaluation and Control

inferred← citeshttps://doi.org/10.1007/978-3-319-77452-7_4openalex-snapshot

Decentralized and Distributed Supervision of Discrete-Event Systems

inferred← citeshttps://doi.org/10.1007/978-3-319-91268-4_5openalex-snapshot

Factorisation of Petri Net Solvable Transition Systems

inferred← citeshttps://doi.org/10.1007/978-3-319-96154-5_18openalex-snapshot

Toward Distributed Computability Theory

inferred← citeshttps://doi.org/10.1007/978-3-319-99154-2_12openalex-snapshot

Action and State Based Computation Tree Measurement Language and Algorithms

inferred← citeshttps://doi.org/10.1007/978-3-322-86771-1_11openalex-snapshot

Parallele Programmiersprachen

inferred← citeshttps://doi.org/10.1007/978-3-322-94705-5_2openalex-snapshot

Prozeß-Kommunikation

inferred← citeshttps://doi.org/10.1007/978-3-540-24619-0_21openalex-snapshot

P Systems and Petri Nets

inferred← citeshttps://doi.org/10.1007/978-3-540-27836-8_100openalex-snapshot

On Randomization Versus Synchronization in Distributed Systems

inferred← citeshttps://doi.org/10.1007/978-3-540-28644-8_2openalex-snapshot

A Semantics for Concurrent Separation Logic

inferred← citeshttps://doi.org/10.1007/978-3-540-28644-8_4openalex-snapshot

Resources, Concurrency and Local Reasoning

inferred← citeshttps://doi.org/10.1007/978-3-540-30200-1_3openalex-snapshot

An Abductive Framework for Information Exchange in Multi-agent Systems

inferred← citeshttps://doi.org/10.1007/978-3-540-31984-9_25openalex-snapshot

Automated Compositional Proofs for Real-Time Systems

inferred← citeshttps://doi.org/10.1007/978-3-540-49823-0_46openalex-snapshot

Brief Announcement: Wait-Free Dining for Eventual Weak Exclusion

inferred← citeshttps://doi.org/10.1007/978-3-540-73370-6_15openalex-snapshot

Towards Model Checking Spatial Properties with SPIN

inferred← citeshttps://doi.org/10.1007/978-3-540-74610-2_21openalex-snapshot

Resource-Oriented Deadlock Analysis

inferred← citeshttps://doi.org/10.1007/978-3-540-75142-7_28openalex-snapshot

A Distributed Maximal Scheduler for Strong Fairness

inferred← citeshttps://doi.org/10.1007/978-3-540-75292-9_8openalex-snapshot

A Complete and Compact Propositional Deontic Logic

inferred← citeshttps://doi.org/10.1007/978-3-540-76890-6_31openalex-snapshot

A Self-stabilizing Distributed Algorithm for Resolving Conflicts

inferred← citeshttps://doi.org/10.1007/978-3-540-77444-0_11openalex-snapshot

Wait-Free Dining Under Eventual Weak Exclusion

inferred← citeshttps://doi.org/10.1007/978-3-540-77966-7_9openalex-snapshot

How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison

inferred← citeshttps://doi.org/10.1007/978-3-540-89335-6_13openalex-snapshot

Local Synchronization on Oriented Rings

inferred← citeshttps://doi.org/10.1007/978-3-642-01924-1_7openalex-snapshot

Weak Fairness Semantic Drawbacks in Java Multithreading

inferred← citeshttps://doi.org/10.1007/978-3-642-03466-4_1openalex-snapshot

Static Analysis of Concurrent Programs Using Ordinary Differential Equations

inferred← citeshttps://doi.org/10.1007/978-3-642-03829-7_7openalex-snapshot

Verification of Concurrent Programs with Chalice

inferred← citeshttps://doi.org/10.1007/978-3-642-13338-1_3openalex-snapshot

Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent System Programming

inferred← citeshttps://doi.org/10.1007/978-3-642-13568-2_10openalex-snapshot

A Formal Language toward the Unification of Model Checking and Performance Evaluation

inferred← citeshttps://doi.org/10.1007/978-3-642-13651-1_26openalex-snapshot

Self-stabilizing Synchronization in Mobile Sensor Networks with Covering

inferred← citeshttps://doi.org/10.1007/978-3-642-23178-0_23openalex-snapshot

Hypergraph Partitioning for the Parallel Computation of Continuous Petri Nets

inferred← citeshttps://doi.org/10.1007/978-3-642-23178-0_7openalex-snapshot

Looking for Efficient Implementations of Concurrent Objects

inferred← citeshttps://doi.org/10.1007/978-3-642-23938-0_12openalex-snapshot

Modelling of Agents Cooperation and Negotiation

inferred← citeshttps://doi.org/10.1007/978-3-642-24130-7_16openalex-snapshot

Game Semantics for the Geiger-Paz-Pearl Axioms of Independence

inferred← citeshttps://doi.org/10.1007/978-3-642-24541-1_33openalex-snapshot

On the Implementation of Concurrent Objects

inferred← citeshttps://doi.org/10.1007/978-3-642-24690-6_5openalex-snapshot

Distributed Implementation of Systems with Multiparty Interactions and Priorities

inferred← citeshttps://doi.org/10.1007/978-3-642-27266-0_10openalex-snapshot

Parallelism, Concurrency, and Alternative Models

inferred← citeshttps://doi.org/10.1007/978-3-642-28869-2_14openalex-snapshot

Trace Spaces: An Efficient New Technique for State-Space Reduction

inferred← citeshttps://doi.org/10.1007/978-3-642-29072-5_5openalex-snapshot

Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets

inferred← citeshttps://doi.org/10.1007/978-3-642-31588-6_61openalex-snapshot

Behavior Analysis of Software Systems Based on Petri Net Slicing

inferred← citeshttps://doi.org/10.1007/978-3-642-32332-4_8openalex-snapshot

Asynchronous Abstract Machines: Petri Nets

inferred← citeshttps://doi.org/10.1007/978-3-642-37036-6_18openalex-snapshot

On Distributability in Process Calculi

inferred← citeshttps://doi.org/10.1007/978-3-642-38123-2_11openalex-snapshot

Distributed Resource Allocation

inferred← citeshttps://doi.org/10.1007/978-3-642-39799-8_38openalex-snapshot

Importance Splitting for Statistical Model Checking Rare Properties

inferred← citeshttps://doi.org/10.1007/978-3-642-45005-1_49openalex-snapshot

Synthesizing Cost-Minimal Partners for Services

inferred← citeshttps://doi.org/10.1007/978-3-642-45249-9_38openalex-snapshot

Stabilizing Dining with Failure Locality 1

inferred← citeshttps://doi.org/10.1007/978-3-642-51661-0_8openalex-snapshot

Literaturverzeichnis

inferred← citeshttps://doi.org/10.1007/978-3-642-61455-2_17openalex-snapshot

Notes on Proof Outline Logic

inferred← citeshttps://doi.org/10.1007/978-3-642-65586-9_4openalex-snapshot

Universelle Digital-Rechenanlagen

inferred← citeshttps://doi.org/10.1007/978-3-642-67091-6_11openalex-snapshot

Parallel Programming

inferred← citeshttps://doi.org/10.1007/978-3-642-67485-3_14openalex-snapshot

Zur Modellierung von Systemen auf der Basis der Nebenläufigkeit

inferred← citeshttps://doi.org/10.1007/978-3-642-67600-0_1openalex-snapshot

Vergleich Einiger Konzepte Moderner Echtzeitsprachen

inferred← citeshttps://doi.org/10.1007/978-3-642-67607-9_15openalex-snapshot

On the Partitioning of Computing Systems into Communicating Agencies

inferred← citeshttps://doi.org/10.1007/978-3-642-67838-7_16openalex-snapshot

Dynamics in Information System Design and Management

inferred← citeshttps://doi.org/10.1007/978-3-642-69295-6_16openalex-snapshot

Modeling of Conflict Situations in Discrete Systems

inferred← citeshttps://doi.org/10.1007/978-3-642-74051-0_14openalex-snapshot

NSL: Ein Werkzeug zur netzbasierten Modellierung und Simulation von Rechnerarchitekturen.

inferred← citeshttps://doi.org/10.1007/978-3-642-76799-9_10openalex-snapshot

The Family of Concurrent Logic Programming Languages

inferred← citeshttps://doi.org/10.1007/978-3-642-80732-9_21openalex-snapshot

Verallgemeinerung und Implementierung von Synchronisations-Operationen

inferred← citeshttps://doi.org/10.1007/978-3-642-82453-1_10openalex-snapshot

Deadlock Analysis in Networks of Communicating Processes

inferred← citeshttps://doi.org/10.1007/978-3-642-82470-8_24openalex-snapshot

Concurrent Pascal with Backward Error Recovery: Language Features and Examples

inferred← citeshttps://doi.org/10.1007/978-3-642-82921-5_7openalex-snapshot

The Architecture of Parallel Computers

inferred← citeshttps://doi.org/10.1007/978-3-642-84524-6_4openalex-snapshot

Petri Nets and Algebraic Specifications

inferred← citeshttps://doi.org/10.1007/978-3-658-21153-0_2openalex-snapshot

Schlösser

inferred← citeshttps://doi.org/10.1007/978-3-658-21153-0_4openalex-snapshot

Semaphore

inferred← citeshttps://doi.org/10.1007/978-3-658-26290-7_3openalex-snapshot

Schlösser

inferred← citeshttps://doi.org/10.1007/978-3-658-26290-7_4openalex-snapshot

Semaphore

inferred← citeshttps://doi.org/10.1007/978-3-658-29782-4_3openalex-snapshot

Locks

inferred← citeshttps://doi.org/10.1007/978-3-658-29782-4_4openalex-snapshot

Semaphores

inferred← citeshttps://doi.org/10.1007/978-3-658-47321-1_3openalex-snapshot

Schlösser

inferred← citeshttps://doi.org/10.1007/978-3-658-47321-1_4openalex-snapshot

Semaphore

inferred← citeshttps://doi.org/10.1007/978-3-662-09507-2_17openalex-snapshot

The Programming Language Concurrent Pascal

inferred← citeshttps://doi.org/10.1007/978-3-662-11106-2_5openalex-snapshot

On Parallel Languages

inferred← citeshttps://doi.org/10.1007/978-3-662-44871-7_1openalex-snapshot

Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs

inferred← citeshttps://doi.org/10.1007/978-3-662-62223-0_4openalex-snapshot

Scheduling mobiler Gebrauchsfaktoren

inferred← citeshttps://doi.org/10.1007/978-3-662-70929-0_3openalex-snapshot

Locks

inferred← citeshttps://doi.org/10.1007/978-3-662-70929-0_4openalex-snapshot

Semaphores

inferred← citeshttps://doi.org/10.1007/978-81-322-2009-1_13openalex-snapshot

Token Based Group Local Mutual Exclusion Algorithm in MANETs

inferred← citeshttps://doi.org/10.1007/978-81-322-2129-6_6openalex-snapshot

Token-based Group Local Mutual Exclusion Algorithm in MANETs

inferred← citeshttps://doi.org/10.1007/978-88-470-0580-8_18openalex-snapshot

Note bibliografiche

inferred← citeshttps://doi.org/10.1007/978-94-009-3805-2_10openalex-snapshot

Heuristics in the Abbot-Monk Problem

inferred← citeshttps://doi.org/10.1007/978-94-009-5408-3_7openalex-snapshot

Multiprocessor Benchmarks

inferred← citeshttps://doi.org/10.1007/978-94-009-7019-9_2openalex-snapshot

Issues in the Methodical Design of Concurrent Programs

inferred← citeshttps://doi.org/10.1007/978-94-011-1576-6_8openalex-snapshot

Advanced computer architectures

inferred← citeshttps://doi.org/10.1007/978-981-16-1160-5_20openalex-snapshot

A Formal Process Virtual Machine for EOS-Based Smart Contract Security Verification

inferred← citeshttps://doi.org/10.1007/978-981-19-6309-4_1openalex-snapshot

Elementary Net Systems

inferred← citeshttps://doi.org/10.1007/978-981-97-9324-2_45openalex-snapshot

Analytical Discussion and Applications of Concurrency, Deadlock, and Starvation in Computational Intelligence: An Operating Systems Perspective

inferred← citeshttps://doi.org/10.1007/bf00263584openalex-snapshot

On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes

inferred← citeshttps://doi.org/10.1007/bf00264015openalex-snapshot

Formal derivation of strongly correct concurrent programs

inferred← citeshttps://doi.org/10.1007/bf00264467openalex-snapshot

Some extended semaphore primitives

inferred← citeshttps://doi.org/10.1007/bf00264560openalex-snapshot

Dispatcher primitives for the construction of operating system kernels

inferred← citeshttps://doi.org/10.1007/bf00264599openalex-snapshot

Remarks on ?some comments on concurrent readers and writers? by Reidar Conradi

inferred← citeshttps://doi.org/10.1007/bf00265219openalex-snapshot

The synchronization of independent processes

inferred← citeshttps://doi.org/10.1007/bf00265555openalex-snapshot

Fairness and related properties in transition systems ? a temporal logic to deal with fairness

inferred← citeshttps://doi.org/10.1007/bf00289044openalex-snapshot

Functional behavior in data spaces

inferred← citeshttps://doi.org/10.1007/bf00289074openalex-snapshot

A proof method for cyclic programs

inferred← citeshttps://doi.org/10.1007/bf00289237openalex-snapshot

An approach to automating the verification of compact parallel coordination programs. I

inferred← citeshttps://doi.org/10.1007/bf00289712openalex-snapshot

Deadlock-freedom in resource contentions

inferred← citeshttps://doi.org/10.1007/bf00365325openalex-snapshot

Predictable synchronization mechanisms for multiprocessor real-time systems

inferred← citeshttps://doi.org/10.1007/bf01075087openalex-snapshot

Parallel programming with types of control

inferred← citeshttps://doi.org/10.1007/bf01078248openalex-snapshot

Parallel languages. I

inferred← citeshttps://doi.org/10.1007/bf01085188openalex-snapshot

Methods and means of parallel processing of information

inferred← citeshttps://doi.org/10.1007/bf01407879openalex-snapshot

An optimal distributed solution to the dining philosophers problem

showing the first 200 of 687 · page through all 687

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.