scientific article; zbMATH DE number 139812
From MaRDI portal
Publication:4028145
zbMATH Open0759.94020MaRDI QIDQ4028145FDOQ4028145
Authors: Joep L. W. Kessels
Publication date: 28 March 1993
Title of this publication is not available (Why is that?)
Recommendations
distributed systemsfunctional specificationsystolic designsrecursive designscorrectness-preserving transformationsbounded response timeRSA converter
Cryptography (94A60) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)
Cited In (2)
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 Q4028145)