Web Cube

DOI10.1007/11888116_6MaRDI QIDQ3613060zbMATH OpenOpenAlexFDO

Authors I. S. W. B. Prasetya, T. E. J. Vos, S. Doaitse Swierstra

Publication date 11 March 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11888116_6

Mathematics Subject Classification ID

Internet topics (68M11)

Recommendations

• LogicWeb: Enhancing the Web with logic programming
• Trustworthy Global Computing
• scientific article; zbMATH DE number 1956557
• Web services
• Static Analysis

Cites work

• Eliminating the substitution axiom from UNITY logic
• scientific article; zbMATH DE number 1639446 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• Principles of Distributed Systems

Describes a project that uses

Uses Software

• BPEL2PN
• LTSA-WS
• UNITY

This page was built for publication: Web Cube

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