scientific article; zbMATH DE number 1860621

zbMATH Open1048.68018MaRDI QIDQ4790348FDOQ4790348

Authors: Abhishek Singh, Jonathan Billington 

Publication date: 2002

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

Recommendations

• scientific article; zbMATH DE number 2088671
• Publication:4716238
• Formal specification of a web services protocol
• Formal specification of a web services protocol
• A formal model for service-oriented interactions
• Deriving protocol specifications from service specifications written in LOTOS

zbMATH Keywords

Inter-ORB Protocol

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)

Cited In (3)

• Formalization and validation of the general inter-ORB protocol (GIOP) using PROMELA and SPIN
• Extending CORBA interfaces with protocols
• 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 Q4790348)