Web Cube

DOI10.1007/11888116_6zbMath1225.68034OpenAlexW2912601182MaRDI QIDQ3613060

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

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)

Uses Software

• BPEL2PN
• LTSA-WS
• UNITY

Cites Work

• Eliminating the substitution axiom from UNITY logic
• Principles of Distributed Systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Web Cube