scientific article; zbMATH DE number 2088671

MaRDI QIDQ3045270zbMATH OpenFDO

Authors Chun Ouyang, Jonathan Billington, Lars M. Kristensen

Publication date 12 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2360/23600352.htm

zbMATH Keywords

Case studiesE-commerceHigher-level net modelsInternet protocolsSystem verification using nets

Mathematics Subject Classification ID

Network protocols (68M12) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1927319
• scientific article; zbMATH DE number 1860621
• Deriving protocol specifications from service specifications written as Predicate/Transition-nets
• Formal specification of a web services protocol
• Formal specification of a web services protocol

Cited in

(3)

• A Brokering Protocol for Electronic Trading
• scientific article; zbMATH DE number 1927319 (Why is no real title available?)
• scientific article; zbMATH DE number 1860621 (Why is no real title available?)

This page was built for publication:

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