| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Firefox/js/src/vm/ (Browser von der Mozilla Stiftung Version 136.0.1©) Datei vom 10.2.2025 mit Größe 7 kB |
|
Impressum RPCMemoryParams.thySprache: Isabelle |
|||||||||||||||
|
(* Title: HOL/TLA/Memory/RPCMemoryParams.thy Author: Stephan Merz, University of Munich *) section ‹Basic declarations for the RPC-memory example› theory RPCMemoryParams imports Main begin type_synonym bit = "bool" (* Signal wires for the procedure interface. Defined as bool for simplicity. All I should really need is the existence of two distinct values. *) (* all of these are simple (HOL) types *) typedecl Locs (* "syntactic" value type *) typedecl Vals (* "syntactic" value type *) typedecl PrIds (* process id's *) end
¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet am 2026-04-26) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-05-26