| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Postgres/src/test/ssl/ssl/ (Postgres Database Version 18.4©) Datei vom 11.4.2026 mit Größe 1 kB |
|
Quellcode-Bibliothek IOA.thy Sprache: Isabelle |
|||||||||||||||
|
(* Title: HOL/HOLCF/IOA/IOA.thy Author: Olaf Müller *) section ‹The theory of I/O automata in HOLCF› theory IOA imports SimCorrectness Compositionality Deadlock begin end
¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.1Bemerkung: ¤*Bot Zugriff |
|
||||||||||||||
2026-10-11