On the public citation graph
Control flow analysis for the π-calculus
0 signed · 88 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-62503-8_3openalex-snapshot
Abstract interpretation of the π-calculus
inferredcites →https://doi.org/10.1007/3-540-63141-0_14openalex-snapshot
Implicit typing à la ML for the join-calculus
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/bf01237234openalex-snapshot
Properties of data flow frameworks
inferredcites →https://doi.org/10.1007/bfb0014571openalex-snapshot
Secrecy by typing in security protocols
inferredcites →https://doi.org/10.1016/0304-3975(93)90156-nopenalex-snapshot
Modal logics for mobile processes
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/s096012950007002xopenalex-snapshot
Typing and subtyping for mobile processes
inferredcites →https://doi.org/10.1109/32.629493openalex-snapshot
The Compositional Security Checker: a tool for the verification of information flow security properties
inferredcites →https://doi.org/10.1109/csfw.1996.503696openalex-snapshot
Comparing two information flow security properties
inferredcites →https://doi.org/10.1109/sp.1982.10014openalex-snapshot
Security Policies and Security Models
inferredcites →https://doi.org/10.1145/258948.258954openalex-snapshot
Systematic realisation of control flow analyses for CML
inferredcites →https://doi.org/10.1145/268946.268978openalex-snapshot
A typed language for distributed mobile processes (extended abstract)
inferredcites →https://doi.org/10.21236/ada023588openalex-snapshot
Secure Computer System: Unified Exposition and Multics Interpretation
inferredcites →https://doi.org/10.3233/jcs-1996-42-304openalex-snapshot
A sound type system for secure flow analysis
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
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/10722468_16openalex-snapshot
Communication Topology Analysis for Concurrent Programs
inferred← citeshttps://doi.org/10.1007/11596356_104openalex-snapshot
Information Flow Security for Interactive Systems
inferred← citeshttps://doi.org/10.1007/11599128_10openalex-snapshot
Abstract Machines of Systems Biology
inferred← citeshttps://doi.org/10.1007/3-540-36384-x_10openalex-snapshot
Complexity of Nesting Analysis in Mobile Ambients
inferred← citeshttps://doi.org/10.1007/3-540-44618-4_5openalex-snapshot
Programming Access Control: The Klaim Experience
inferred← citeshttps://doi.org/10.1007/3-540-44681-8_74openalex-snapshot
Partial Evaluation of Concurrent Programs
inferred← citeshttps://doi.org/10.1007/3-540-44743-1_3openalex-snapshot
Static Analysis for Secrecy and Non-interference in Networks of Processes
inferred← citeshttps://doi.org/10.1007/3-540-44929-9_25openalex-snapshot
Ambient Groups and Mobility Types
inferred← citeshttps://doi.org/10.1007/3-540-45022-x_34openalex-snapshot
Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System
inferred← citeshttps://doi.org/10.1007/3-540-45022-x_35openalex-snapshot
Information Flow vs. Resource Access in the Asynchronous Pi-Calculus (Extended Abstract)
inferred← citeshttps://doi.org/10.1007/3-540-45309-1_17openalex-snapshot
Control-Flow Analysis in Cubic Time
inferred← citeshttps://doi.org/10.1007/3-540-45315-6_2openalex-snapshot
Secrecy Types for Asymmetric Communication
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-45927-8_16openalex-snapshot
A Modular, Extensible Proof Method for Small-Step Flow Analyses
inferred← citeshttps://doi.org/10.1007/3-540-45927-8_22openalex-snapshot
Dependency Analysis of Mobile Systems
inferred← citeshttps://doi.org/10.1007/3-540-46425-5_12openalex-snapshot
Secure Information Flow as Typed Process Behaviour
inferred← citeshttps://doi.org/10.1007/3-540-48294-6_9openalex-snapshot
Abstract Interpretation of Mobile Ambients
inferred← citeshttps://doi.org/10.1007/3-540-48320-9_25openalex-snapshot
Generating Type Systems for Process Graphs
inferred← citeshttps://doi.org/10.1007/3-540-48320-9_32openalex-snapshot
Validating Firewalls in Mobile Ambients
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-48749-2_6openalex-snapshot
Types as Specifications of Access Policies
inferred← citeshttps://doi.org/10.1007/3-540-49019-1_1openalex-snapshot
Security Protocols and Specifications
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-3-540-45099-3_8openalex-snapshot
Confidentiality Analysis of Mobile Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-74407-8_16openalex-snapshot
Topology-Dependent Abstractions of Broadcast Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-15640-3_10openalex-snapshot
Responsive Choice in Mobile Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-21461-5_19openalex-snapshot
Ownership Types for the Join Calculus
inferred← citeshttps://doi.org/10.1007/s00236-009-0091-xopenalex-snapshot
A theory of structural stationarity in the π-Calculus
inferred← citeshttps://doi.org/10.1007/s10207-004-0037-9openalex-snapshot
Automated analysis of timed security: a case study on web privacy
inferred← citeshttps://doi.org/10.1007/s10586-022-03963-yopenalex-snapshot
Abstracting IoT protocols using timed process algebra and SPIN model checker
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.02.014openalex-snapshot
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.12.016openalex-snapshot
A Denotational Approach to the Static Analysis of Cryptographic Processes
inferred← citeshttps://doi.org/10.1016/j.ic.2009.10.003openalex-snapshot
Static analysis of topology-dependent broadcast networks
inferred← citeshttps://doi.org/10.1016/j.jlap.2004.01.004openalex-snapshot
Analysing input/output-capabilities of mobile processes with a generic type system
inferred← citeshttps://doi.org/10.1016/j.jlap.2004.01.005openalex-snapshot
Abstract interpretation of mobile systems
inferred← citeshttps://doi.org/10.1016/j.jlap.2004.09.006openalex-snapshot
A static analysis of cryptographic processes: the denotational approach
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.08.036openalex-snapshot
A framework for security analysis of mobile wireless networks
inferred← citeshttps://doi.org/10.1016/s0096-0551(02)00009-7openalex-snapshot
Security boundaries in mobile ambients
inferred← citeshttps://doi.org/10.1016/s0167-6423(02)00131-4openalex-snapshot
Abstract interpretation of mobile ambients
inferred← citeshttps://doi.org/10.1016/s0167-739x(02)00047-xopenalex-snapshot
Flow logic for Dolev–Yao secrecy in cryptographic processes
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00140-2openalex-snapshot
Validating firewalls using flow logics
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00863-0openalex-snapshot
Secrecy types for asymmetric communication
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)80068-9openalex-snapshot
Secrecy in Programming-Language Semantics
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)01155-2openalex-snapshot
Occurrence Counting Analysis for the π-calculus
inferred← citeshttps://doi.org/10.1017/s0956796804005477openalex-snapshot
Noninterference through flow analysis
inferred← citeshttps://doi.org/10.1109/access.2022.3210386openalex-snapshot
A Formal Method for Description and Decision of Android Apps Behavior Based on Process Algebra
inferred← citeshttps://doi.org/10.1109/csfw.2001.930138openalex-snapshot
An efficient cryptographic protocol verifier based on prolog rules
inferred← citeshttps://doi.org/10.1145/1044731.1044735openalex-snapshot
Analyzing security protocols with secrecy types and logic programs
inferred← citeshttps://doi.org/10.1145/1286821.1286822openalex-snapshot
A uniform type structure for secure information flow
inferred← citeshttps://doi.org/10.1145/1745312.1745313openalex-snapshot
A hybrid type system for lock-freedom of mobile processes
inferred← citeshttps://doi.org/10.1145/1929954.1929955openalex-snapshot
Modal abstractions of concurrent behavior
inferred← citeshttps://doi.org/10.1145/2071389.2071392openalex-snapshot
Flow Logic for Process Calculi
inferred← citeshttps://doi.org/10.1145/324133.324266openalex-snapshot
Secrecy by typing in security protocols
inferred← citeshttps://doi.org/10.1145/360204.360213openalex-snapshot
Mobile values, new names, and secure communication
inferred← citeshttps://doi.org/10.1145/373243.360213openalex-snapshot
Mobile values, new names, and secure communication
inferred← citeshttps://doi.org/10.1145/503272.503277openalex-snapshot
Analyzing security protocols with secrecy types and logic programs
inferred← citeshttps://doi.org/10.1145/565816.503277openalex-snapshot
Analyzing security protocols with secrecy types and logic programs
inferred← citeshttps://doi.org/10.1145/570886.570890openalex-snapshot
Information flow vs. resource access in the asynchronous pi-calculus
inferred← citeshttps://doi.org/10.13140/rg.2.1.2799.0244openalex-snapshot
Language Based Techniques for Systems Biology
inferred← citeshttps://doi.org/10.3233/978-1-60750-714-7-86openalex-snapshot
Using Horn Clauses for Analyzing Security Protocols
inferred← citeshttps://doi.org/10.4028/www.scientific.net/amm.58-60.1061openalex-snapshot
Control Flow Analyze for Procedure Blueprint
inferred← citeshttps://doi.org/10.48550/arxiv.0802.0188openalex-snapshot
Partitioning the Threads of a Mobile System
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.