On the public citation graph
Concurrent objects in a process calculus
0 signed · 120 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-55613-3_3openalex-snapshot
A unifying framework for process calculus semantics of concurrent object-oriented languages
inferredcites →https://doi.org/10.1007/3-540-57208-2_12openalex-snapshot
A pi-calculus semantics for an object-based design notation
inferredcites →https://doi.org/10.1007/3-540-57342-9_89openalex-snapshot
A typing system for a calculus of objects
inferredcites →https://doi.org/10.1007/3-540-57880-3_33openalex-snapshot
Algebraic proofs of properties of objects
inferredcites →https://doi.org/10.1007/978-3-642-58041-3_6openalex-snapshot
The Polyadic π-Calculus: a Tutorial
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/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/s0956796800001040openalex-snapshot
Simple type-theoretic foundations for object-oriented programming
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1145/158511.158653openalex-snapshot
Object-oriented programming without recursive types
inferredcites →https://doi.org/10.1145/191080.191088openalex-snapshot
Type-theoretic foundations for concurrent object-oriented programing
inferredcites →https://doi.org/10.1145/53990.54015openalex-snapshot
Synchronous operations as first-class values
inferredcites →https://doi.org/10.1145/960116.54015openalex-snapshot
Synchronous operations as first-class values
inferredcites →https://doi.org/10.7551/mitpress/2319.001.0001openalex-snapshot
The Definition of Standard ML
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)1097-024x(20000710)30:8<849::aid-spe318>3.0.co;2-0openalex-snapshot
BCOOPL: Basic concurrent object-oriented programming language
inferred← citeshttps://doi.org/10.1002/stvr.1569openalex-snapshot
Object‐sensitive cost analysis for concurrent objects
inferred← citeshttps://doi.org/10.1006/inco.2002.3171openalex-snapshot
A Type System for Lock-Free Processes
inferred← citeshttps://doi.org/10.1007/11802167_37openalex-snapshot
Scalable Message Routing for Mobile Software Assistants
inferred← citeshttps://doi.org/10.1007/3-540-44555-2_4openalex-snapshot
Formal Techniques for Java Programs
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-44929-9_29openalex-snapshot
An Interpretation of Typed Concurrent Objects in the Blue Calculus
inferred← citeshttps://doi.org/10.1007/3-540-45446-2_15openalex-snapshot
Subtyping and Matching for Mobile Objects
inferred← citeshttps://doi.org/10.1007/3-540-45718-6_16openalex-snapshot
A Protocol for Multi-threaded Processes with Choice in π-Calculus
inferred← citeshttps://doi.org/10.1007/3-540-46000-4_8openalex-snapshot
Coordinating Mobile Object-Oriented Code
inferred← citeshttps://doi.org/10.1007/3-540-47959-7_1openalex-snapshot
Location-Independent Communication for Mobile Agents: A Two-Level Architecture
inferred← citeshttps://doi.org/10.1007/3-540-48743-3_23openalex-snapshot
A Process Algebraic Specication of the New Asynchronous CORBA Messaging Service?
inferred← citeshttps://doi.org/10.1007/3-540-61052-9_64openalex-snapshot
Nepi: A network programming language based on the π-calculus
inferred← citeshttps://doi.org/10.1007/3-540-61487-7_22openalex-snapshot
Schematic: A concurrent object-oriented extension to Scheme
inferred← citeshttps://doi.org/10.1007/3-540-61604-7_52openalex-snapshot
On transformations of concurrent object programs
inferred← citeshttps://doi.org/10.1007/3-540-61604-7_82openalex-snapshot
A calculus for concurrent objects
inferred← citeshttps://doi.org/10.1007/3-540-61626-8_83openalex-snapshot
Partial evaluation scheme for concurrent languages and its correctness
inferred← citeshttps://doi.org/10.1007/3-540-62064-8_17openalex-snapshot
Actors as a coordinating model of computation (extended abstract)
inferred← citeshttps://doi.org/10.1007/3-540-62503-8_1openalex-snapshot
Logical and operational methods in the analysis of programs and systems
inferred← citeshttps://doi.org/10.1007/3-540-62503-8_6openalex-snapshot
Formalising and prototyping a concurrent object-based language
inferred← citeshttps://doi.org/10.1007/3-540-63165-8_193openalex-snapshot
A semantics preserving actor translation
inferred← citeshttps://doi.org/10.1007/3-540-63875-x_70openalex-snapshot
Nepi2: a two-level calculus for network programming based on the π-calculus
inferred← citeshttps://doi.org/10.1007/978-0-387-35082-0_20openalex-snapshot
Formalizing Composable Software Systems — A Research Agenda
inferred← citeshttps://doi.org/10.1007/978-0-387-35261-9_25openalex-snapshot
Transformations and Consistent Semantics for ODP Viewpoints
inferred← citeshttps://doi.org/10.1007/978-0-387-35562-7_1openalex-snapshot
Piccola — A Small Composition Language
inferred← citeshttps://doi.org/10.1007/978-0-387-35562-7_29openalex-snapshot
Static Safety Analysis for Non-Uniform Service Availability in Actors
inferred← citeshttps://doi.org/10.1007/978-3-540-24634-3_5openalex-snapshot
O’Klaim: A Coordination Language with Mobile Mixins
inferred← citeshttps://doi.org/10.1007/978-3-540-24639-8_2openalex-snapshot
A Java Package for Class and Mixin Mobility in a Distributed Setting
inferred← citeshttps://doi.org/10.1007/978-3-540-40007-3_26openalex-snapshot
Type Systems for Concurrent Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-72952-5_12openalex-snapshot
A Mechanized Model of the Theory of Objects
inferred← citeshttps://doi.org/10.1007/978-3-540-77505-8_19openalex-snapshot
Information Hiding in the Join Calculus
inferred← citeshttps://doi.org/10.1007/978-3-662-44471-9_6openalex-snapshot
From Linear Types to Behavioural Types and Model Checking
inferred← citeshttps://doi.org/10.1007/bf03037429openalex-snapshot
A LOTOS based tutorial on formal methods for object-oriented distributed systems
inferred← citeshttps://doi.org/10.1007/bfb0030636openalex-snapshot
Locality based Linda: Programming with explicit localities
inferred← citeshttps://doi.org/10.1007/bfb0053562openalex-snapshot
Verifiable and executable logic specifications of concurrent objects in $$\mathcal{L}_\pi$$
inferred← citeshttps://doi.org/10.1007/s00165-013-0284-5openalex-snapshot
The stream-based service-centred calculus: a foundation for service-oriented programming
inferred← citeshttps://doi.org/10.1007/s00236-005-0176-0openalex-snapshot
MOMI: a calculus for mobile mixins
inferred← citeshttps://doi.org/10.1007/s00236-005-0179-xopenalex-snapshot
Type-based information flow analysis for the π-calculus
inferred← citeshttps://doi.org/10.1016/b978-044482830-9/50026-6openalex-snapshot
An Introduction to the π-Calculus
inferred← citeshttps://doi.org/10.1016/j.ic.2008.12.004openalex-snapshot
Asynchronous sequential processes
inferred← citeshttps://doi.org/10.1016/j.jlap.2004.05.005openalex-snapshot
Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation
inferred← citeshttps://doi.org/10.1016/j.scico.2011.04.006openalex-snapshot
Multicore scheduling for lightweight communicating processes
inferred← citeshttps://doi.org/10.1016/s0304-3975(03)00325-6openalex-snapshot
A generic type system for the Pi-calculus
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00111-4openalex-snapshot
Partial confluence of processes and systems of objects
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00222-3openalex-snapshot
On transformations of concurrent-object programs
inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00009-2openalex-snapshot
Actor languages their syntax, semantics, translation, and equivalence
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00103-3openalex-snapshot
Bibliography on Realizability
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00144-6openalex-snapshot
A Generalized Deadlock-Free Process Calculus
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00145-8openalex-snapshot
A Concurrent Object Calculus
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00318-4openalex-snapshot
Towards Object-Oriented Klaim
inferred← citeshttps://doi.org/10.1017/s095679689700261xopenalex-snapshot
A foundation for actor computation
inferred← citeshttps://doi.org/10.1017/s096012950007002xopenalex-snapshot
Typing and subtyping for mobile processes
inferred← citeshttps://doi.org/10.1080/1206212x.2001.11441648openalex-snapshot
Agent Model for Dynamically Changing Plan in π-Calculus
inferred← citeshttps://doi.org/10.1109/32.685256openalex-snapshot
KLAIM: a kernel language for agents interaction and mobility
inferred← citeshttps://doi.org/10.1109/4434.846193openalex-snapshot
Nomadic Pict: language and infrastructure design for mobile agents
inferred← citeshttps://doi.org/10.1109/apsec.1997.640203openalex-snapshot
A formal model of concurrency for distributed object-oriented systems
inferred← citeshttps://doi.org/10.1109/asama.1999.805388openalex-snapshot
Nomadic Pict: language and infrastructure design for mobile agents
inferred← citeshttps://doi.org/10.1109/aswec.2001.948515openalex-snapshot
Formalization of UML statechart diagrams in the π-calculus
inferred← citeshttps://doi.org/10.1109/lics.1997.614941openalex-snapshot
A partially deadlock-free typed process calculus
inferred← citeshttps://doi.org/10.1109/sefm.2007.13openalex-snapshot
Disciplining Orchestration and Conversation in Service-Oriented Computing
inferred← citeshttps://doi.org/10.1109/tools.1997.681874openalex-snapshot
Class-based models in the π-calculus
inferred← citeshttps://doi.org/10.1109/tools.1998.713593openalex-snapshot
A compositional approach to concurrent objects
inferred← citeshttps://doi.org/10.1145/237721.237801openalex-snapshot
Functional computation as concurrent computation
inferred← citeshttps://doi.org/10.1145/237721.237805openalex-snapshot
The reflexive CHAM and the join-calculus
inferred← citeshttps://doi.org/10.1145/239098.239129openalex-snapshot
Abstracting dependencies between software configuration items
inferred← citeshttps://doi.org/10.1145/242223.242252openalex-snapshot
Strategic directions in concurrency research
inferred← citeshttps://doi.org/10.1145/242224.242297openalex-snapshot
Programming languages, analysis tools, and concurrency theory
inferred← citeshttps://doi.org/10.1145/250707.239129openalex-snapshot
Abstracting dependencies between software configuration items
inferred← citeshttps://doi.org/10.1145/276393.278524openalex-snapshot
A partially deadlock-free typed process calculus
inferred← citeshttps://doi.org/10.1145/2824255openalex-snapshot
May-Happen-in-Parallel Analysis for Actor-Based Concurrency
inferred← citeshttps://doi.org/10.1145/360204.360215openalex-snapshot
A generic type system for the Pi-calculus
inferred← citeshttps://doi.org/10.1145/373243.360215openalex-snapshot
A generic type system for the Pi-calculus
inferred← citeshttps://doi.org/10.1145/964001.964012openalex-snapshot
Asynchronous and deterministic objects
inferred← citeshttps://doi.org/10.14236/ewic/fa1997.14openalex-snapshot
Formalizing CORRELATE - from Practice to Pi
inferred← citeshttps://doi.org/10.2991/iccia-16.2016.62openalex-snapshot
The research and implementation of The Critical Path on a Processor (CPOP) Algorithm based on Pi calculus
inferred← citeshttps://doi.org/10.3929/ethz-a-003930796openalex-snapshot
Syntax and semantics of graphs: an approach to the specification of visual notations for discrete-event systems
inferred← citeshttps://doi.org/10.4204/eptcs.223openalex-snapshot
Preface [ to: Proceedings 9th Interaction and Concurrency Experience]
inferred← citeshttps://doi.org/10.48456/tr-492openalex-snapshot
Nomadic Pict: language and infrastructure design for mobile computation
inferred← citeshttps://doi.org/10.5281/zenodo.41680openalex-snapshot
Combining Confusion Networks With Probabilisitc Phone Matching For Open-Vocabulary Keyword Spotting In Spontaneous Speech Signal
inferred← citeshttps://doi.org/10.7892/boris.104364openalex-snapshot
Piccola - a Small Composition Language
inferred← citeshttps://doi.org/10.7892/boris.104610openalex-snapshot
Using Metaobjects to Model Concurrent Objects with PICT
inferred← citeshttps://doi.org/10.7892/boris.104613openalex-snapshot
A Formal Language for Composition
inferred← citeshttps://doi.org/10.7892/boris.104649openalex-snapshot
Research Topics in Software Composition
inferred← citeshttps://doi.org/10.7892/boris.104769openalex-snapshot
Synchronizing Concurrent Objects in the Pi-Calculus
inferred← citeshttps://doi.org/10.7892/boris.104770openalex-snapshot
Components, Scripts, and Glue: A conceptual framework for software composition
inferred← citeshttps://doi.org/10.7892/boris.104772openalex-snapshot
A Metamodel for Concurrent, Object-based Programming
inferred← citeshttps://doi.org/10.7892/boris.104793openalex-snapshot
Implementation of `Generic Synchronization Policies' in Pict
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.