On the public citation graph

Verifying mobile processes in the HAL environment

https://doi.org/10.1007/bfb0028772
0 signed · 42 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-57208-2_3openalex-snapshot
Model checking mobile processes
inferredcites →https://doi.org/10.1007/3-540-58179-0_73openalex-snapshot
The mobility workbench — A tool for the π-Calculus
inferredcites →https://doi.org/10.1007/3-540-60218-6_4openalex-snapshot
Checking bisimilarity for finitary π-calculus
inferredcites →https://doi.org/10.1007/3-540-61055-3_42openalex-snapshot
Efficient minimization up to location equivalence
inferredcites →https://doi.org/10.1007/bf01211473openalex-snapshot
An algebraic verification of a mobile network
inferredcites →https://doi.org/10.1007/bfb0014350openalex-snapshot
The Fc2tools set
inferredcites →https://doi.org/10.1007/bfb0023477openalex-snapshot
Minimal transition systems for history-preserving bisimulation
inferredcites →https://doi.org/10.1007/bfb0035394openalex-snapshot
An automata based verification environment 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.1016/s1571-0661(05)80696-6openalex-snapshot
An Introduction to History Dependent Automata
inferredcites →https://doi.org/10.1090/dimacs/029/14openalex-snapshot
History dependent verification for partial order systems

What points at this work

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

inferred← citeshttps://doi.org/10.1007/11575801_35openalex-snapshot
An Ontology for Mobile Agents in the Context of Formal Verification
inferred← citeshttps://doi.org/10.1007/3-540-44612-5_52openalex-snapshot
π-Calculus, Structured Coalgebras, and Minimal HD-Automata
inferred← citeshttps://doi.org/10.1007/3-540-44929-9_45openalex-snapshot
Two Problems in Wide Area Network Programming
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-45931-6_10openalex-snapshot
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation
inferred← citeshttps://doi.org/10.1007/978-3-030-30985-5_1openalex-snapshot
The Legacy of Stefania Gnesi
inferred← citeshttps://doi.org/10.1007/978-3-540-31847-7_23openalex-snapshot
A Formal Framework for the Development of Concurrent Object-Based Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-39958-2_14openalex-snapshot
On Mobility Extensions of UML Statecharts. A Pragmatic Approach
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_38openalex-snapshot
Ugo Montanari and Software Verification
inferred← citeshttps://doi.org/10.1007/978-3-540-70881-0_15openalex-snapshot
Encoding Mobile Ambients into the π-Calculus
inferred← citeshttps://doi.org/10.1007/978-3-540-95891-8_40openalex-snapshot
Modelling and Verifying Mobile Systems Using π-Graphs
inferred← citeshttps://doi.org/10.1007/978-3-642-00590-9_20openalex-snapshot
Minimization Algorithm for Symbolic Bisimilarity
inferred← citeshttps://doi.org/10.1007/978-3-642-30947-2_58openalex-snapshot
Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.02.027openalex-snapshot
Relationally Staged Computations in Calculi of Mobile Processes
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.04.015openalex-snapshot
A Translation from Object-Based Hypergraph Grammars into π-Calculus
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.06.004openalex-snapshot
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language
inferred← citeshttps://doi.org/10.1016/j.scico.2014.09.007openalex-snapshot
Weak CCP bisimilarity with strong procedures
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.03.014openalex-snapshot
Structured coalgebras and minimal HD-automata for the π -calculus
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80829-6openalex-snapshot
Formal Specification and Verification of Complex Systems1 1Work partially founded by Miur projectSP4.
inferred← citeshttps://doi.org/10.1109/acsd.2014.18openalex-snapshot
The Omniscient Garbage Collector: A Resource Analysis Framework
inferred← citeshttps://doi.org/10.1109/weit.2011.17openalex-snapshot
Graph Grammars: A Comparison between Verification Methods
inferred← citeshttps://doi.org/10.1145/2245276.2245296openalex-snapshot
Partition refinement for bisimilarity in CCP
inferred← citeshttps://doi.org/10.11606/d.45.2007.tde-20210729-151145openalex-snapshot
Integração de verificadores formais para agentes móveis
inferred← citeshttps://doi.org/10.3233/idt-130164openalex-snapshot
Towards a formal analysis of dynamic reconfiguration in WS-BPEL
inferred← citeshttps://doi.org/10.4204/eptcs.104openalex-snapshot
Proceedings Fifth Interaction and Concurrency Experience
inferred← citeshttps://doi.org/10.4204/eptcs.104.2openalex-snapshot
Reducing Weak to Strong Bisimilarity in CCP
inferred← citeshttps://doi.org/10.4204/eptcs.304.9openalex-snapshot
On Learning Nominal Automata with Binders
inferred← citeshttps://doi.org/10.4204/eptcs.39.4openalex-snapshot
A Decidable Characterization of a Graphical Pi-calculus with Iterators
inferred← citeshttps://doi.org/10.48550/arxiv.1212.1548openalex-snapshot
Partition Refinement for Bisimilarity in CCP
inferred← citeshttps://doi.org/10.5281/zenodo.157506openalex-snapshot
FIGURE 33 in Comparative morphometric study of three species of Apoam phisiella Foissner, 1997 (Ciliophora: Hypotrichea) from Brazilian locations, including a description of Apoamphisiella foissneri sp. n.
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.