On the public citation graph

A Process Calculus for QoS-Aware Applications

https://doi.org/10.1007/11417019_3
0 signed · 61 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.1006/inco.1998.2740openalex-snapshot
A Calculus for Cryptographic Protocols: The Spi Calculus
inferredcites →https://doi.org/10.1007/3-540-44618-4_13openalex-snapshot
Optimizing Büchi Automata
inferredcites →https://doi.org/10.1007/3-540-44618-4_5openalex-snapshot
Programming Access Control: The Klaim Experience
inferredcites →https://doi.org/10.1007/3-540-44929-9openalex-snapshot
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics
inferredcites →https://doi.org/10.1007/3-540-44929-9_27openalex-snapshot
Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness
inferredcites →https://doi.org/10.1007/978-3-540-39910-0_21openalex-snapshot
A Formal Basis for Reasoning on Programmable QoS
inferredcites →https://doi.org/10.1007/978-3-540-40007-3_16openalex-snapshot
Graph-Based Models of Internetworking Systems
inferredcites →https://doi.org/10.1007/978-3-540-40965-6_5openalex-snapshot
Unreliable Failure Detectors via Operational Semantics
inferredcites →https://doi.org/10.1007/b12001openalex-snapshot
Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
inferredcites →https://doi.org/10.1016/s0304-3975(03)00325-6openalex-snapshot
A generic type system for the Pi-calculus
inferredcites →https://doi.org/10.1016/s0304-3975(99)00232-7openalex-snapshot
Types for access control
inferredcites →https://doi.org/10.1093/comjnl/38.7.578openalex-snapshot
Stochastic -Calculus
inferredcites →https://doi.org/10.1109/32.685256openalex-snapshot
KLAIM: a kernel language for agents interaction and mobility
inferredcites →https://doi.org/10.1109/32.798321openalex-snapshot
Service combinators for Web computing
inferredcites →https://doi.org/10.1109/tnet.2010.2086813openalex-snapshot
IEEE/ACM Transactions on Networking
inferredcites →https://doi.org/10.1145/1023646.1023648openalex-snapshot
Trust evaluation in ad-hoc networks
inferredcites →https://doi.org/10.1145/256303.256306openalex-snapshot
Semiring-based constraint satisfaction and optimization
inferredcites →https://doi.org/10.1145/266420.266432openalex-snapshot
A calculus for cryptographic protocols
inferredcites →https://doi.org/10.1145/944217.944233openalex-snapshot
Introduction
inferredcites →https://doi.org/10.1145/944217.944236openalex-snapshot
Contracts and types
inferredcites →https://doi.org/10.25596/jalc-2002-321openalex-snapshot
Semiring Frameworks and Algorithms for Shortest-Distance Problems

What points at this work

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

inferred← citeshttps://doi.org/10.1007/11417019_11openalex-snapshot
Global Computing in a Dynamic Network of Tuple Spaces
inferred← citeshttps://doi.org/10.1007/11523468_99openalex-snapshot
Basic Observables for a Calculus for Global Computing
inferred← citeshttps://doi.org/10.1007/11804192_2openalex-snapshot
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
inferred← citeshttps://doi.org/10.1007/978-3-030-21485-2_8openalex-snapshot
X-Klaim Is Back
inferred← citeshttps://doi.org/10.1007/978-3-031-47963-2_9openalex-snapshot
A Dynamic Temporal Logic for Quality of Service in Choreographic Models
inferred← citeshttps://doi.org/10.1007/978-3-031-71177-0_7openalex-snapshot
Automated Static Analysis of Quality of Service Properties of Communicating Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-73709-1_3openalex-snapshot
Klaim in the Making
inferred← citeshttps://doi.org/10.1007/978-3-031-95589-1_8openalex-snapshot
Behavioural, Functional, and Non-functional Contracts for Dynamic Selection of Services
inferred← citeshttps://doi.org/10.1007/978-3-540-71316-6_3openalex-snapshot
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
inferred← citeshttps://doi.org/10.1007/978-3-540-72794-1_16openalex-snapshot
Component Connectors with QoS Guarantees
inferred← citeshttps://doi.org/10.1007/978-3-540-73196-2_5openalex-snapshot
Coordination Via Types in an Event-Based Framework
inferred← citeshttps://doi.org/10.1007/978-3-540-89437-7_4openalex-snapshot
On the Challenge of Engineering Socio-technical Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-02053-7_14openalex-snapshot
From Coordination to Stochastic Models of QoS
inferred← citeshttps://doi.org/10.1007/978-3-642-15375-4_12openalex-snapshot
A Theory of Design-by-Contract for Distributed Multiparty Interactions
inferred← citeshttps://doi.org/10.1007/978-3-642-35743-5_12openalex-snapshot
A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios
inferred← citeshttps://doi.org/10.1007/s10703-013-0191-7openalex-snapshot
QoS-aware management of monotonic service orchestrations
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.01.056openalex-snapshot
Policy-based Coordination in PAGODA: A Case Study
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.03.009openalex-snapshot
Q-Automata: Modelling the Resource Usage of Concurrent Components
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.07.004openalex-snapshot
Co-Algebraic Models for Quantitative Spatial Logics
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.07.006openalex-snapshot
Keeping Secrets in Resource Aware Components
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.04.097openalex-snapshot
Service Discovery and Negotiation With COWS
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.03.020openalex-snapshot
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.05.020openalex-snapshot
Which Soft Constraints do you Prefer?
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.06.033openalex-snapshot
Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints
inferred← citeshttps://doi.org/10.1016/j.ic.2007.03.004openalex-snapshot
Basic observables for a calculus for global computing
inferred← citeshttps://doi.org/10.1016/j.jal.2011.11.002openalex-snapshot
A calculus for orchestration of web services
inferred← citeshttps://doi.org/10.1016/j.jlamp.2014.07.001openalex-snapshot
Integrating deployment architectures and resource consumption in timed object-oriented models
inferred← citeshttps://doi.org/10.1016/j.jlamp.2015.12.007openalex-snapshot
Declarative event based models of concurrency and refinement in psi-calculi
inferred← citeshttps://doi.org/10.1016/j.scico.2006.06.004openalex-snapshot
Global computing in a dynamic network of tuple spaces
inferred← citeshttps://doi.org/10.1016/j.tcs.2014.02.049openalex-snapshot
Application of branching cells to QoS aware service orchestrations
inferred← citeshttps://doi.org/10.1016/j.tcs.2025.115247openalex-snapshot
A dynamic temporal logic for quality of service in choreographic models
inferred← citeshttps://doi.org/10.1109/acsd.2008.4574608openalex-snapshot
QoS-driven service selection and composition
inferred← citeshttps://doi.org/10.1109/sefm.2005.6openalex-snapshot
A synchronous process calculus for service costs
inferred← citeshttps://doi.org/10.1109/tase.2007.37openalex-snapshot
QCCS: A Formal Model to Enforce QoS Requirements in Service Composition
inferred← citeshttps://doi.org/10.1145/2480362.2480712openalex-snapshot
On the reconfiguration of software connectors
inferred← citeshttps://doi.org/10.3233/fi-2009-144openalex-snapshot
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
inferred← citeshttps://doi.org/10.3233/fi-2011-563openalex-snapshot
A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process
inferred← citeshttps://doi.org/10.4018/978-1-60960-794-4.ch002openalex-snapshot
SLA-Aware Enterprise Service Computing
inferred← citeshttps://doi.org/10.4204/eptcs.148.5openalex-snapshot
Actor Network Procedures as Psi-calculi for Security Ceremonies
inferred← citeshttps://doi.org/10.4204/eptcs.166.3openalex-snapshot
Concurrency Models with Causality and Events as Psi-calculi
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.