Recent Trends in Algebraic Development Techniques

DOI10.1007/B107129zbMath1118.68563DBLPconf/wadt/2004OpenAlexW4300641577WikidataQ57783451 ScholiaQ57783451MaRDI QIDQ5703992

Artur Zawłocki

Publication date: 11 November 2005

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

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Compositional Modelling and Reasoning in an Institution for Processes and Data

This page was built for publication: Recent Trends in Algebraic Development Techniques