scientific article; zbMATH DE number 2088671

zbMATH Open1047.68509MaRDI QIDQ3045270FDOQ3045270

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

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

E-commerceCase studiesInternet protocolsHigher-level net modelsSystem verification using nets

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• A Brokering Protocol for Electronic Trading
• Title not available (Why is that?)

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)