TAPSOFT '95: Theory and practice of software development. 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 1995. Proceedings

DOI10.1007/3-540-59293-8zbMath0835.68002OpenAlexW2503479549WikidataQ57783601 ScholiaQ57783601MaRDI QIDQ1892701

No author found.

Publication date: 20 June 1995

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

Full work available at URL: https://doi.org/10.1007/3-540-59293-8

zbMATH Keywords

semanticsrewriting systemsformal languagesconcurrencyformal specificationssoftware developmentprogram testingcase tools

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Theory of software (68N99)

Related Items (1)

CCS with Hennessy's merge has no finite-equational axiomatization

This page was built for publication: TAPSOFT '95: Theory and practice of software development. 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 1995. Proceedings