On the public citation graph

Coordination requirements expressed in types for active objects

0 signed · 61 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-45910-3_4openalex-snapshot

Inheritance as an Incremental Modification Mechanism or What Like Is and Isn’t Like

inferredcites →https://doi.org/10.1007/3-540-57208-2_34openalex-snapshot

From CML to process algebras

inferredcites →https://doi.org/10.1007/3-540-57208-2_36openalex-snapshot

Principal typing schemes in a polyadic π-calculus

inferredcites →https://doi.org/10.1007/3-540-62599-2_35openalex-snapshot

Types that reflect changes of object usability

inferredcites →https://doi.org/10.1007/978-0-387-34945-9_11openalex-snapshot

Type Specifications with Processes

inferredcites →https://doi.org/10.1007/978-0-387-35082-0_2openalex-snapshot

Types for Active Objects Based on Trace Semantics

inferredcites →https://doi.org/10.1007/bfb0029355openalex-snapshot

The specification of process synchronization by path expressions

inferredcites →https://doi.org/10.1007/bfb0052178openalex-snapshot

Typed concurrent objects

inferredcites →https://doi.org/10.1007/bfb0057019openalex-snapshot

An object calculus for asynchronous communication

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(90)90076-popenalex-snapshot

Communication and concurrency

inferredcites →https://doi.org/10.1016/0890-5401(92)90008-4openalex-snapshot

A calculus of mobile processes, I

inferredcites →https://doi.org/10.1016/0890-5401(92)90009-5openalex-snapshot

A calculus of mobile processes, II

inferredcites →https://doi.org/10.1017/cbo9780511624193openalex-snapshot

Process Algebra

inferredcites →https://doi.org/10.1109/lics.1993.287570openalex-snapshot

Typing and subtyping for mobile processes

inferredcites →https://doi.org/10.1145/158511.158701openalex-snapshot

A sort inference algorithm for the polyadic π-calculus

inferredcites →https://doi.org/10.1145/162685.162705openalex-snapshot

Systematic concurrent object-oriented programming

inferredcites →https://doi.org/10.1145/165854.167976openalex-snapshot

Regular types for active objects

inferredcites →https://doi.org/10.1145/167962.167976openalex-snapshot

Regular types for active objects

inferredcites →https://doi.org/10.1145/191080.191088openalex-snapshot

Type-theoretic foundations for concurrent object-oriented programing

inferredcites →https://doi.org/10.1145/191081.191088openalex-snapshot

Type-theoretic foundations for concurrent object-oriented programing

inferredcites →https://doi.org/10.1145/197320.197383openalex-snapshot

A behavioral notion of subtyping

inferredcites →https://doi.org/10.1145/357139.357141openalex-snapshot

Process Communication Based on Input Specifications

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/6041.6042openalex-snapshot

On understanding types, data abstraction, and polymorphism

inferredcites →https://doi.org/10.7146/dpb.v22i433.6750openalex-snapshot

From CML to process Algebras

inferredcites →https://doi.org/10.7551/mitpress/1086.001.0001openalex-snapshot

Actors

inferredcites →https://doi.org/10.7551/mitpress/2087.001.0001openalex-snapshot

Research Directions in Concurrent Object-Oriented Programming

What points at this work

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

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

Strong types for coordinating active objects

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

A Type System for Lock-Free Processes

inferred← citeshttps://doi.org/10.1006/jvlc.2000.0194openalex-snapshot

Visual Modeling of Object-Oriented Distributed Systems

inferred← citeshttps://doi.org/10.1007/11550679_8openalex-snapshot

A Model of Components with Non-regular Protocols

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

Internal and External Token-Based Synchronization in Object-Oriented Languages

inferred← citeshttps://doi.org/10.1007/3-540-44618-4_34openalex-snapshot

Typing Non-uniform Concurrent Objects

inferred← citeshttps://doi.org/10.1007/3-540-44618-4_35openalex-snapshot

An Implicitly-Typed Deadlock-Free Process Calculus

inferred← citeshttps://doi.org/10.1007/3-540-44929-9_27openalex-snapshot

Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness

inferred← citeshttps://doi.org/10.1007/3-540-45397-0_19openalex-snapshot

Flexible Types for a Concurrent Model

inferred← citeshttps://doi.org/10.1007/3-540-45397-0_22openalex-snapshot

Control Properties in Object-Oriented Specifications

inferred← citeshttps://doi.org/10.1007/3-540-46589-8_18openalex-snapshot

Semantics of Objects As Processes (SOAP)

inferred← citeshttps://doi.org/10.1007/3-540-48311-x_189openalex-snapshot

Non-regular Process Types

inferred← citeshttps://doi.org/10.1007/3-540-48919-3_25openalex-snapshot

A Group Based Approach for Coordinating Active Objects

inferred← citeshttps://doi.org/10.1007/3-540-49099-x_6openalex-snapshot

Types and Subtypes for Client-Server Interactions

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-3-030-21485-2_18openalex-snapshot

Types for Progress in Actor Programs

inferred← citeshttps://doi.org/10.1007/978-3-540-25934-3_14openalex-snapshot

Object-Oriented Language Engineering for the Post-Java Era

inferred← citeshttps://doi.org/10.1007/978-3-540-45213-3_12openalex-snapshot

A Layered Type System for Re-entrance Control

inferred← citeshttps://doi.org/10.1007/978-3-540-70621-2_6openalex-snapshot

From Static to Dynamic Process Types

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

Dynamic type information in process types

inferred← citeshttps://doi.org/10.1016/j.entcs.2009.06.007openalex-snapshot

Synchronization as a Special Case of Access Control

inferred← citeshttps://doi.org/10.1016/j.entcs.2010.05.011openalex-snapshot

Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata

inferred← citeshttps://doi.org/10.1016/j.ic.2011.12.005openalex-snapshot

An Algebra of Behavioural Types

inferred← citeshttps://doi.org/10.1016/j.scico.2011.10.014openalex-snapshot

Partition refinement of Component Interaction Automata

inferred← citeshttps://doi.org/10.1016/j.scico.2015.10.006openalex-snapshot

Parameterized, concurrent session types for asynchronous multi-actor interactions

inferred← citeshttps://doi.org/10.1016/s0096-0551(01)00019-4openalex-snapshot

State inference for dynamically changing interfaces

inferred← citeshttps://doi.org/10.1109/hicss.2000.927013openalex-snapshot

Contract-based component system design

inferred← citeshttps://doi.org/10.1109/tools.1999.787567openalex-snapshot

Bounding component behavior via protocols

inferred← citeshttps://doi.org/10.1145/1557876.1557877openalex-snapshot

Interfaces of active objects with internal concurrency

inferred← citeshttps://doi.org/10.1145/298151.298223openalex-snapshot

Changeable interfaces and promised messages for concurrent components

inferred← citeshttps://doi.org/10.3233/fun-2001-48402openalex-snapshot

Types for Active Objects with Static Deadlock Prevention

inferred← citeshttps://doi.org/10.5381/jot.2002.1.3.a14openalex-snapshot

Negotiable Interfaces for Components.

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.