The following pages link to Z (Q22253):
Displaying 50 items.
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types (Q929967) (← links)
- Data refinement and singleton failures refinement are not equivalent (Q931436) (← links)
- The seven virtues of simple type theory (Q946569) (← links)
- A process algebraic framework for specification and validation of real-time systems (Q968306) (← links)
- The axiomatization of override and update (Q975885) (← links)
- A timeband framework for modelling real-time systems (Q987537) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository (Q1004294) (← links)
- Mechanising a formal model of flash memory (Q1004295) (← links)
- POSIX file store in Z/Eves: An experiment in the verified software repository (Q1004296) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Abstract interface behavior of object-oriented languages with monitors (Q1015384) (← links)
- A UTP semantics for \textsf{Circus} (Q1019016) (← links)
- Model checking action system refinements (Q1019017) (← links)
- Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
- FDR explorer (Q1019020) (← links)
- Trace-based derivation of a scalable lock-free stack algorithm (Q1019022) (← links)
- A formal framework for modeling and validating simulink diagrams (Q1037245) (← links)
- Decidable fragments of many-sorted logic (Q1041587) (← links)
- VDM and Z: A comparative case study (Q1184684) (← links)
- Multi-relations in Z. A cross between multi-sets and binary relations (Q1186512) (← links)
- A heuristic method for generating large random expressions (Q1205725) (← links)
- Annotations in formal specifications and proofs (Q1334901) (← links)
- Defining relationships in ecology using object-oriented formal specifications (Q1340342) (← links)
- Transformational vs reactive refinement in real-time systems (Q1350363) (← links)
- The formal specification of abstract data types and their implementation in Fortran 90 (Q1355365) (← links)
- A temporal logic for real-time partial ordering with named transactions (Q1391307) (← links)
- A calculus for schemas in Z (Q1583855) (← links)
- Mobile agent evolution computing (Q1602507) (← links)
- Model-based specification (Q1607085) (← links)
- Special issue: Perturbation methods and formal modeling for dynamic systems (Q1668939) (← links)
- Designing a semantic model for a wide-spectrum language with concurrency (Q1682288) (← links)
- Relating trace refinement and linearizability (Q1688548) (← links)
- Spectral structures and topological methods in mathematical quasicrystals. Abstracts from the workshop held October 1--7, 2017 (Q1731956) (← links)
- Working session: Additive combinatorics, entropy, and fractal geometry. Abstracts from the working session held October 8--13, 2017 (Q1731957) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Computability theory. Abstracts from the workshop held January 7--13, 2018 (Q1731969) (← links)
- Mini-workshop: Chromatic phenomena and duality in homotopy theory and representation theory. Abstracts from the mini-workshop held March 4--10, 2018 (Q1731977) (← links)
- Angelic processes for CSP via the UTP (Q1757156) (← links)
- RCOS: a formal model-driven engineering method for component-based software (Q1762176) (← links)
- Abstract state machines: a unifying view of models of computation and of system design frameworks (Q1772776) (← links)
- Finding models through graph saturation (Q1785854) (← links)
- Relation algebra as programming language using the Ampersand compiler (Q1785856) (← links)
- An abstract model for proving safety of autonomous urban traffic (Q1786569) (← links)
- Richer types for \(Z\) (Q1816920) (← links)
- A fixpoint theory for non-monotonic parallelism (Q1884887) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- From Boolean algebra to unified algebra (Q1889959) (← links)
- ZUM '95: The Z formal specification notation. 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995. Proceedings (Q1897005) (← links)
- Unification: A case-study in data refinement (Q1898815) (← links)
