| Quellcodebibliothek Statistik Leitseite products/Sources (Apache Web Server Version 2.4.65©) Datei vom mit Größe 0 B |
|
Quelle IOA.thySprache: 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
¤ Dauer der Verarbeitung: 0.2 Sekunden ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-08-25