Fundamental Approaches to Software Engineering

DOI10.1007/b95935zbMath1129.68359OpenAlexW2494184210WikidataQ59393629 ScholiaQ59393629MaRDI QIDQ5428884

Laura Bocchi

Publication date: 28 November 2007

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

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

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)

Related Items (2)

Service oriented computing from a process algebraic perspective ⋮ A core calculus for correlation in orchestration languages

Uses Software

• OASIS

This page was built for publication: Fundamental Approaches to Software Engineering