scientific article; zbMATH DE number 1290992

zbMATH Open0919.03011MaRDI QIDQ4241266

Jürgen Bohn

Publication date: 25 May 1999

Title of this publication is not available (Why is that?)

zbMATH Keywords

higher-order logicsemanticscommunication protocolssystem specificationsprogramming language MLevent-based systemslogic-based proof systemstepwise design of synchronously communicating systemssyntactic embeddingsyntactic systemstheorem prover LAMBDA

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Uses Software

• PVS
• Lambda-Clam
• Title not available (Why is that?)

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 Q4241266)