Trace- and failure-based semantics for responsiveness
type: Item
instance of: scholarly article
title: Trace- and failure-based semantics for responsiveness
zbMATH Open document ID: 1304.68033
author: Yong-Cai Geng
author: Sumit K. Garg
published in: Acta Informatica
publication date: 2014-12-03T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6376645
describes a project that uses: BPEL2oWFN
MaRDI profile type: Publication
full work available at URL: s00236-014-0205-y
OpenAlex ID: W1979648478
cites work: Responsiveness in process calculi
cites work: Synchronizability for Verification of Asynchronously Communicating Systems
cites work: Basic observables for processes
cites work: On Communicating Finite-State Machines
cites work: Q3601412
cites work: A Theory of Communicating Sequential Processes
cites work: A Compositional Specification Theory for Component Behaviours
cites work: An algebraic theory of interface automata
cites work: Relating fair testing and accordance for service replaceability
cites work: Channel Properties of Asynchronously Composed Petri Nets
cites work: A type system for lock-free processes
cites work: Operating Guidelines for Finite-State Services
cites work: Compact representations and efficient algorithms for operating guidelines
cites work: CONFLICTS AND FAIR TESTING
cites work: Q3992568
cites work: Undecidability of accordance for open systems with unbounded message queues
cites work: Divergence and fair testing
cites work: Responsiveness and stable revivals
cites work: Fair testing
cites work: Deciding Substitutability of Services with Operating Guidelines
cites work: A trace-based service semantics guaranteeing deadlock freedom
cites work: The Coarsest Precongruences Respecting Safety and Liveness Properties
cites work: Modular construction and partial order semantics of Petri nets
cites work: Impossible futures and determinism
cites work: Does My Service Have Partners?
DOI: 10.1007/S00236-014-0205-Y
Recommended article: Q4989406
Recommended article: Trace, failure and testing equivalences for communicating processes
Recommended article: Q4449168
Recommended article: Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
Recommended article: Revisiting Semantics of Interactions for Trace Validity Analysis
Recommended article: Failure-aware Runtime Verification of Distributed Systems
Recommended article: Failure-divergence semantics and refinement of long running transactions
Recommended article: Compositional failure-based semantic models for basic LOTOS
Recommended article: Automata, Languages and Programming
description: scientific article; zbMATH DE number 6376645