On the public citation graph
Global/local subtyping and capability inference for a distributed π-calculus
0 signed · 99 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.1006/inco.1998.2740openalex-snapshot
A Calculus for Cryptographic Protocols: The Spi Calculus
inferredcites →https://doi.org/10.1007/3-540-55613-3openalex-snapshot
Object-Based Concurrent Computing
inferredcites →https://doi.org/10.1007/3-540-55613-3_2openalex-snapshot
On asynchronous communication semantics
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-58715-2_126openalex-snapshot
Localities and failures (extended summary)
inferredcites →https://doi.org/10.1007/3-540-59293-8_222openalex-snapshot
Static and dynamic processor allocation for higher-order concurrent languages
inferredcites →https://doi.org/10.1007/3-540-63141-0_27openalex-snapshot
On implementations and semantics of a concurrent programming language
inferredcites →https://doi.org/10.1007/3-540-63165-8_203openalex-snapshot
Distributed processes and location failures
inferredcites →https://doi.org/10.1007/3-540-63383-9_83openalex-snapshot
Coordinating mobile agents via blackboards and access rights
inferredcites →https://doi.org/10.1007/3-540-63383-9_92openalex-snapshot
An asynchronous model of locality, failure, and process mobility
inferredcites →https://doi.org/10.1007/bfb0014571openalex-snapshot
Secrecy by typing in security protocols
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.1016/s0304-3975(00)00326-1openalex-snapshot
Distributed processes and location failures
inferredcites →https://doi.org/10.1017/s096012950007002xopenalex-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/237721.237805openalex-snapshot
The reflexive CHAM and the join-calculus
inferredcites →https://doi.org/10.1145/266420.266432openalex-snapshot
A calculus for cryptographic protocols
inferredcites →https://doi.org/10.1145/268946.268975openalex-snapshot
Secure information flow in a multi-threaded imperative language
inferredcites →https://doi.org/10.1145/268946.268978openalex-snapshot
A typed language for distributed mobile processes (extended abstract)
inferredcites →https://doi.org/10.1145/324133.324266openalex-snapshot
Secrecy by typing in security protocols
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.4819131openalex-extracted
The Beauty and the Beast: Sok on Process Algebras and Cybersecurity
inferred← citeshttps://doi.org/10.1006/inco.2000.3020openalex-snapshot
Static Analysis for the π-Calculus with Applications to Security
inferred← citeshttps://doi.org/10.1006/inco.2001.3121openalex-snapshot
Types for the Ambient Calculus
inferred← citeshttps://doi.org/10.1007/3-540-36576-1_18openalex-snapshot
Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems
inferred← citeshttps://doi.org/10.1007/3-540-44618-4_19openalex-snapshot
Deriving Bisimulation Congruences for Reactive Systems
inferred← citeshttps://doi.org/10.1007/3-540-45061-0_11openalex-snapshot
Resource Access and Mobility Control with Dynamic Privileges Acquisition
inferred← citeshttps://doi.org/10.1007/3-540-45500-0_3openalex-snapshot
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation
inferred← citeshttps://doi.org/10.1007/3-540-45510-8_11openalex-snapshot
Mobile Processes: A Commented Bibliography
inferred← citeshttps://doi.org/10.1007/3-540-45608-2_5openalex-snapshot
Notes on Nominal Calculi for Security and Mobility
inferred← citeshttps://doi.org/10.1007/3-540-45694-5_19openalex-snapshot
A Calculus of Mobile Resources*
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-47959-7_3openalex-snapshot
Seal: A Framework for Secure Mobile Computations
inferred← citeshttps://doi.org/10.1007/3-540-48320-9_38openalex-snapshot
Subtyping and Locality in Distributed Higher Order Processes
inferred← citeshttps://doi.org/10.1007/3-540-48523-6_20openalex-snapshot
Mobility Types for Mobile Ambients
inferred← citeshttps://doi.org/10.1007/3-540-48749-2_5openalex-snapshot
Type-Safe Execution of Mobile Agents in Anonymous Networks
inferred← citeshttps://doi.org/10.1007/3-540-48749-2_6openalex-snapshot
Types as Specifications of Access Policies
inferred← citeshttps://doi.org/10.1007/3-540-49019-1_3openalex-snapshot
Reasoning about Concurrent Systems Using Types
inferred← citeshttps://doi.org/10.1007/3-540-49019-1_9openalex-snapshot
Static Analysis of Processes for No Read-Up and No Write-Down
inferred← citeshttps://doi.org/10.1007/978-1-4615-1007-9openalex-snapshot
Mobile Computation with Functions
inferred← citeshttps://doi.org/10.1007/978-1-4615-1007-9_4openalex-snapshot
Confined Mobile Functions
inferred← citeshttps://doi.org/10.1007/978-3-540-28644-8_8openalex-snapshot
Basic Theory of Reduction Congruence forTwo Timed Asynchronous π-Calculi
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-40042-4_2openalex-snapshot
Reflecting Mobile Ambients into the π-Calculus
inferred← citeshttps://doi.org/10.1007/978-3-540-40965-6_13openalex-snapshot
A Calculus for Secure Mobility
inferred← citeshttps://doi.org/10.1007/bfb0055628openalex-snapshot
From rewrite to bisimulation congruences
inferred← citeshttps://doi.org/10.1007/s00165-004-0058-1openalex-snapshot
Validating a web service security abstraction by typing
inferred← citeshttps://doi.org/10.1007/s00446-010-0120-6openalex-snapshot
A taxonomy of process calculi for distribution and mobility
inferred← citeshttps://doi.org/10.1016/b978-044482830-9/50033-3openalex-snapshot
Process Algebras with Localities
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.12.030openalex-snapshot
Capability-Passing Processes
inferred← citeshttps://doi.org/10.1016/j.ic.2005.03.004openalex-snapshot
Types and full abstraction for polyadic π-calculus
inferred← citeshttps://doi.org/10.1016/j.scico.2007.01.007openalex-snapshot
Capability passing processes
inferred← citeshttps://doi.org/10.1016/j.tcs.2003.12.024openalex-snapshot
Towards a behavioural theory of access and mobility control in distributed systems
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.03.005openalex-snapshot
A theory of bisimulation for a fragment of concurrent ML with local names
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.09.025openalex-snapshot
A coordination approach to mobile components
inferred← citeshttps://doi.org/10.1016/j.tcs.2008.01.049openalex-snapshot
Semantic subtyping for the pi-calculus
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00309-1openalex-snapshot
From rewrite rules to bisimulation congruences
inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00232-7openalex-snapshot
Types for access control
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00219-1openalex-snapshot
Encoding Distributed Areas and Local Communication into the π-Calculus
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80869-7openalex-snapshot
A Distributed π-Calculus with Local Areas of Communication
inferred← citeshttps://doi.org/10.1109/csfw.1999.779769openalex-snapshot
Secure composition of insecure components
inferred← citeshttps://doi.org/10.1109/csfw.2000.856943openalex-snapshot
Secure composition of untrusted code: wrappers and causality types
inferred← citeshttps://doi.org/10.1109/lics.2000.855780openalex-snapshot
A theory of bisimulation for a fragment of Concurrent ML with local names
inferred← citeshttps://doi.org/10.1109/lics.2000.855782openalex-snapshot
Assigning types to processes
inferred← citeshttps://doi.org/10.1109/lics.2005.46openalex-snapshot
Semantic Subtyping for the p-Calculus
inferred← citeshttps://doi.org/10.1109/sefm.2003.1236208openalex-snapshot
Taming mobile processes using types
inferred← citeshttps://doi.org/10.1145/1140335.1140336openalex-snapshot
Typed polyadic pi-calculus in bigraphs
inferred← citeshttps://doi.org/10.1145/2103786.2103791openalex-snapshot
Types for relaxed memory models
inferred← citeshttps://doi.org/10.1145/292540.292551openalex-snapshot
Trust and partial typing in open systems of mobile agents
inferred← citeshttps://doi.org/10.1145/325694.325741openalex-snapshot
Controlling interference in ambients
inferred← citeshttps://doi.org/10.1145/764792.764797openalex-snapshot
Validating a Web service security abstraction by typing
inferred← citeshttps://doi.org/10.1145/764796.764797openalex-snapshot
Validating a Web service security abstraction by typing
inferred← citeshttps://doi.org/10.25959/23214203openalex-snapshot
Integrity Analysis and Coercion in Distributed Systems
inferred← citeshttps://doi.org/10.2991/jcis.2008.113openalex-snapshot
Secure Encapsulation of Insecure Middleware
inferred← citeshttps://doi.org/10.3233/fi-2014-981openalex-snapshot
On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems
inferred← citeshttps://doi.org/10.3233/jcs-2003-11202openalex-snapshot
Secure composition of untrusted code: box π, wrappers, and causality types
inferred← citeshttps://doi.org/10.4018/978-1-4666-0080-5.ch010openalex-snapshot
Mobile Agents Security Protocols
inferred← citeshttps://doi.org/10.4018/978-1-4666-4707-7.ch007openalex-snapshot
Mobile Agents Security Protocols
inferred← citeshttps://doi.org/10.4230/lipics.ecoop.2015.371openalex-snapshot
Type Inference for Place-Oblivious Objects
inferred← citeshttps://doi.org/10.48456/tr-492openalex-snapshot
Nomadic Pict: language and infrastructure design for mobile computation
inferred← citeshttps://doi.org/10.48456/tr-514openalex-snapshot
Nomadic π-calculi: expressing and verifying communication infrastructure for mobile computation
inferred← citeshttps://doi.org/10.70675/f4cf2f0bz0586z49e8za6efzdc9b55bca787openalex-snapshot
Loose coupling and substitution principle in objet-oriented frameworks for web services
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.