History Dependent Automata for Service Compatibility

DOI10.1007/978-3-540-68679-8_39MaRDI QIDQ3507393zbMATH OpenOpenAlexFDO

Authors Vincenzo Ciancia, Marco Pistore, Gian Luigi Ferrari, Emilio Tuosto

Publication date 19 June 2008

Published in Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-68679-8_39

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Checking protocol compatibility using Maude
• A generic framework for n-protocol compatibility checking
• Automata for analysing service contracts
• scientific article; zbMATH DE number 1231616
• Analyzing compatibility of services via resource conformance

Cited in

(4)

• Checking protocol compatibility using Maude
• scientific article; zbMATH DE number 1231616 (Why is no real title available?)
• A generic framework for n-protocol compatibility checking
• Analyzing compatibility of services via resource conformance

This page was built for publication: History Dependent Automata for Service Compatibility

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3507393)