scientific article; zbMATH DE number 2185695

MaRDI QIDQ3024880zbMATH OpenFDO

Authors Paul N. Loewenstein

Publication date 4 July 2005

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3024880)