Searching for authors named "Jan Tijmen Udding" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Construction of an operational semantics for DI-algebra
- …Construction of an operational semantics for DI-algebra Willem Mallon and Jan Tijmen Udding…
- Cited by 1 (0 self) – Add To MetaCart
-
Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications
- …. Mallon and Jan Tijmen Udding Department of Computing Science Groningen University PO Box 800 NL-9700 AV…
- Cited by 2 (0 self) – Add To MetaCart
-
Normal Form in DI-Algebra with Recursion
- …Normal Form in DI-Algebra with Recursion Paul G. Lucassen, Indra Polak, Jan Tijmen Udding…
- Cited by 2 (0 self) – Add To MetaCart
-
Formalization of a Software Architecture for Embedded Systems: a Process Algebra for Splice
- … Dechering Rix Groenboom Edwin de Jong Jan Tijmen Udding Applied Systems Research Hollandse Signaalapparaten…
- Cited by 5 (2 self) – Add To MetaCart
-
Algebraic Proof Assistants in HOL
- …Algebraic Proof Assistants in HOL Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan…
- Cited by 2 (0 self) – Add To MetaCart
-
Analysis and Applications of the XDI model
- …Analysis and Applications of the XDI model Willem C. Mallon, Jan Tijmen Udding Tom Verhoeff…
- Cited by 6 (0 self) – Add To MetaCart
Showing 1 through 6.
