Behavior analysis for validating communication patterns

From MaRDI portal

Revision as of 11:21, 1 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1856180

Jump to:navigation, search

DOI10.1007/s100090050015zbMath1060.68573OpenAlexW2008077860MaRDI QIDQ1856180

Torben Amtoft, Hanne Riis Nielson, Flemming Nielson

Publication date: 1998

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

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

zbMATH Keywords

process algebras type and effect systems concurrent ML validation of safety conditions

Mathematics Subject Classification ID

Theory of software (68N99)

Uses Software

MWB

This page was built for publication: Behavior analysis for validating communication patterns

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1856180&oldid=14244702"