On the public citation graph

Model Checking For Multi-Agent Systems Modeled By Epistemic Process Calculus

https://doi.org/10.2139/ssrn.5117439
0 signed · 15 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/11945529_13openalex-snapshot
Verification Techniques for Distributed Algorithms
inferredcites →https://doi.org/10.1007/978-3-319-29814-6_24openalex-snapshot
Modelling and Analysis of Network Security - a Probabilistic Value-passing CCS Approach
inferredcites →https://doi.org/10.1007/978-3-642-19829-8_5openalex-snapshot
A Formal Environment Model for Multi-Agent Systems
inferredcites →https://doi.org/10.1007/s12065-020-00416-6openalex-snapshot
A simple detection and generation algorithm for simple circuits in directed graph based on depth-first traversal
inferredcites →https://doi.org/10.1016/j.future.2015.09.013openalex-snapshot
Logic-based modeling of information transfer in cyber–physical multi-agent systems
inferredcites →https://doi.org/10.1016/j.is.2022.102011openalex-snapshot
Petri net-based object-centric processes with read-only data
inferredcites →https://doi.org/10.1109/kimas.2007.369811openalex-snapshot
An Intelligence-Aware Process Calculus for Multi-Agent System Modeling
inferredcites →https://doi.org/10.1109/lics.2001.932486openalex-snapshot
Semantics of name and value passing
inferredcites →https://doi.org/10.1109/tase.2018.2867614openalex-snapshot
Multi-UAV Oxyrrhis Marina-Inspired Search and Dynamic Formation Control for Forest Firefighting
inferredcites →https://doi.org/10.1137/0201010openalex-snapshot
Depth-First Search and Linear Graph Algorithms
inferredcites →https://doi.org/10.1145/3419404openalex-snapshot
Automata modulo theories
inferredcites →https://doi.org/10.1145/585265.585270openalex-snapshot
Alternating-time temporal logic
inferredcites →https://doi.org/10.15302/j-sscae-2021.03.007openalex-snapshot
Artificial Intelligence Security in Multiple-Unmanned System Cooperation
inferredcites →https://doi.org/10.4324/9781315885278openalex-snapshot
Thought and Knowledge
inferredcites →https://doi.org/10.48550/arxiv.2312.12403openalex-snapshot
On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
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.