E. Bach, J. Boyar, L. Epstein, L. M. Favrholdt, T. Jiang, ...
and their applications. SMC is sponsored by the Netherlands Organization for
Centrum voor Wiskunde en Informatica REPORTRAPPORT Report SEN-R0008 (2008)
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
J. Jaspars, E. Thijsse, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Divide and Conquer Spot Noise (2007)
Issn -x, Wim De Leeuw, Robert Van Liere
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Hybrid I/O Automata (extended abstract) (2007)
N. Lynch, R. Segala, F. Va, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
C. Shankl, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Carron Shankland, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
K. E. Shahroudi, Issn -x, Kamran Eftekhari Shahroudi
Flipping the analytical coin: closing the information flow loop
J. R. Moonen, O. Sies, J. G. Springintveld, Issn -x, ...
Centrum voor Wiskunde en Informatica A two-level approach to automated conformance testing of VHDL designs
A Perspective on Databases and Data Mining (2007)
Data Mining, M. Holsheimer, M. Kersten, H. Mannila, H. Toivonen, Issn -x, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
K. E. Shahroudi, Issn -x, Mathematisch Centrum (smc, ...
exploration and modeling of large data sets: A case
Aircraft Conceptual Design by Collaborative Manual and Automatic Agents (2007)
K. E. Shahroudi, Issn -x, Kamran Eftekhari Shahroudi
Aircraft conceptual design by collaborative manual and automatic
Van Deursen, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Little Languages, Little Maintenance, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A Model for Strategy in Constraint Solving (2007)
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Steering Smog Prediction (2007)
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Compiling Language Denitions: The ASF+SDF Compiler (2007)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, J. Heering, J. Heering, P. Klint, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
E. Bach, J. Boyar, L. Epstein, L. M. Favrholdt, T. Jiang, ...
Tight bounds on the competitive ratio on accommodating sequences
A Compositional Model for Confluent Dynamic Data-Flow Networks (2007)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Marcello M. Bonsangue
compositional model for confluent dynamic data-flow networks
Minimal Sorts for Interpreting Pictures (2007)
Henk Zeevat, D. Wang, Issn -x, Henk Zeevat, Dejuan Wang
Computational approaches to simulate human beings interpreting pictures are important for understanding perceptual Gestalt and for building computer systems that support visual communication. Based...
Open Inventor and PREMO (2007)
Wang Reynolds And, Issn -x, D. Wang, D. Wang, G. J. Reynolds, G. J. Reynolds, ...
PREMO is an emerging international standard for the presentations of multimedia objects including computer graphics. Open Inventor TM is a commercially available "de facto" standard for...
W. J. Fokkink, S. P. Luttik, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
We consider the process theory PA that includes an operation for parallel composition, based on the interleaving paradigm. We prove that the standard set of axioms of PA is not !-complete by...
Relational Methods in Logic, Language and Information (2007)
P. Blackburn, M. De Rijke, Y. Venema, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
This paper discusses the use of relational methods in the interdisciplinary field of Logic, Language and Information. We first sketch the developments that lead up to the current focus on dynamics in...
Time-stamped Actions in pCRL Algebras (2007)
We present two extensions of pCRL with time-stamped actions: pCRL ae for absolute time and pCRLrae for relative time. We define timed bisimilarity for both versions and prove that the given...
Focus Points and Convergent Process Operators (2007)
Proof Strategy For, J. F. Groote, J. G. Springintveld, Issn -x, Jan Friso Groote, Jan Springintveld
We present a strategy for finding algebraic correctness proofs for communication systems. It is described in the setting of CRL [11], which is, roughly, ACP [2, 3] extended with a formal treatment of...
Late-Breaking Papers of EuroGP-99 Edited by (2007)
R. Poli, P. Nordin, T. Fogarty (eds, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Towards Self-Stabilizing Wait-Free Shared Memory Objects (2007)
J. H. Hoepman, M. Papatriantafilou, P. Tsigas, Issn -x, Jaap-henk Hoepman, Marina Papatriantafilou
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Issn -x, J. F. Groote, J. F. Groote, J. Pang, J. Pang, A. G. Wouters, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Branching Time and Orthogonal Bisimulation Equivalence (2007)
J. A. Bergstra, A. Ponse, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
The Cones and Foci Proof Technique for Timed Transition Systems (2007)
The cones and foci proof technique for timed transition systems
Complex Time Dependent Flow (2007)
Issn -x, Wim De Leeuw, Robert Van Liere
structure in complex time dependent flow
Model Checking the HAVi Leader Election Protocol (2007)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Judi Romijn
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Verifying a Smart Design of TCAP a synergetic experience (2007)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Izak Van Langevelde
a smart design of TCAP; A synergetic experience
Agent-based Simulation of Animal Behaviour (2007)
C. M. Jonker, Issn -x, Catholijn M. Jonker, Jan Treur, Jan Treur
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Density-Based Unsupervised Classification for Remote Sensing (2007)
R. J. Mokken, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Bisimilarity in term graphs rewriting (2007)
Z. M. Ariola, J. W. Klop, D. Plump, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Transmission Function Models of Finite Population Genetic Algorithms (2007)
J. N. Kok, H La Poutr, D. Thierens, Issn -x, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Comparing Negation in Logic Programming and in Prolog (2007)
Issn -x, Krzysztof R. Apt, Frank Teusink
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
On Shared Randomness and the Size of Secure Signatures (2007)
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Infinitary Lambda Calculus (2007)
Infinitary Lambda Calculus, R. Kennaway, J. W. Klop, R. Sleep, Issn -x, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Newsletter of the IFLA Document Delivery and Resource Sharing Section (2007)
Note from the Chair 2 Introducing our new Standing Committee members 3 Recognition of retiring Standing Committee members 6
Package-based software development (2003)
M. De Jonge, E. Visser, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
M. M. Bonsangue, J. N. Kok, G. Zavattaro, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Analysis of a distributed system for lifting trucks (2003)
Issn -x, J. F. Groote, J. F. Groote, J. Pang, J. Pang, A. G. Wouters, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Equivalence of recursive specifications in process algebra (2001)
Alban Ponse, Yaroslav S. Usenko, Issn -x, Copyright Stichting, Mathematisch Centrum, Alban Ponse, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
XT: A bundle of program transformation tools (2001)
M. De Jonge, E. Visser, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Stee R. Lower bounds for on-line single-machine scheduling (2001)
L. Epstein, R. Van Stee, Issn -x, Leah Epstein, Rob Van Stee
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Centrum voor Wiskunde en Informatica REPORTRAPPORT Report SEN-R0106 (2001)
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Analysis of three hybrid systems in timed µCRL (2001)
J. F. Groote, J. Van Wamel, Issn -x, Jan Friso Groote, Jos Van Wamel
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
J. K. Hoogl, D. Bloch, Issn -x, J. K. Hoogl, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A. Van Deursen, T. Kuipers, Issn -x, Arie Van Deursen, Tobias Kuipers, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Distributing Requirements Speci cations on Basic Splice (2001)
S. M. Orzan, Issn -x, Copyright Stichting, Mathematisch Centrum, Simona Orzan
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A. Van Deursen, G. Kok, Issn -x, Copyright Stichting, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Lower Bounds for On-line Single-machine Scheduling (2001)
L. Epstein, R. Van Stee, Issn -x, Leah Epstein, Rob Van Stee
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
On the fractal beauty of bin packing (2001)
L. Epstein, S. Seiden, R. Van Stee, Issn -x, Leah Epstein, Steve Seiden, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Visitor combination and traversal control (2001)
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Linearization in parallel pCRL (2001)
J. F. Groote, A. Ponse, Y. S. Usenko, Issn -x, Jan Friso Groote, Alban Ponse, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Object-oriented tree traversal with JJForester (2001)
Issn -x, Tobias Kuipers, Tobias Kuipers, Joost Visser, Joost Visser
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Centrum voor Wiskunde en Informatica REPORTRAPPORT Report SEN-R0002 (2000)
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A logical interface description language for components (2000)
F. Arbab, M. M. Bonsangue, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT New Results on Flow Time with Resource Augmentation (2000)
L. Epstein, R. Van Stee, Issn -x, Rob Van Stee
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Efficient annotated terms (2000)
P. Klint, P. A. Olivier, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Branching Time and Orthogonal Bisimulation Equivalence (2000)
J. A. Bergstra, A. Ponse, Issn -x, Jan A. Bergstra, Alban Ponse, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Binary decision diagrams by shared rewriting (2000)
Issn -x, H. Zantema, H. Zantema
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Coalgebras and modal logics for parameterised endofunctors (2000)
A. Kurz, D. Pattinson, Issn -x, Alexander Kurz, Dirk Pattinson
for promotion of mathematics and computer science and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A Geometric Proof of Con uence by Decreasing Diagrams (2000)
J. W. Klop, V. Van Oostrom, R. De Vrijer, Issn -x, Jan Willem, Klop Vincent, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
W. J. Fokkink, S. P. Luttik, Issn -x, Copyright Stichting, Mathematisch Centrum, Wan Fokkink, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
M. De Jonge, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Merijn De Jonge, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ASF+SDF parsing tools applied to ELAN (2000)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, C. Ringeissen, C. Ringeissen
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Deliberate evolution in multi-agent systems (2000)
C. M. Jonker, J. Treur, Issn -x, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A coordination language for mobile components (2000)
F. Arbab, M. M. Bonsangue, Issn -x, Farhad Arbab, Marcello M. Bonsangue, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Semantics of programming languages: a tool-oriented approach (2000)
J. Heering, P. Klint, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Paul Klint
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Binary decision diagrams by shared rewriting (2000)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, H. Zantema, H. Zantema
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Efficient annotated terms (2000)
P. Klint, P. A. Olivier, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A logical interface description language for components (2000)
F. Arbab, M. M. Bonsangue, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Equational Binary Decision Diagrams (2000)
J. F. Groote, Issn -x, Jan Friso Groote
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Exploring legacy systems using types (2000)
A. Van Deursen, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
The propositional formula checker heerhugo (2000)
Jan Friso Groote, Joost P. Warners, Issn -x
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Coalgebra, concurrency, and control (2000)
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Centrum voor Wiskunde en Informatica REPORTRAPPORT Report SEN-R9903 (1999)
Etienne De Klerk, Hans Van Maaren, Joost P. Warners, Issn -x, Copyright Stichting, Mathematisch Centrum
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
STS: A Structural Theory of Sets (1999)
A. Baltag, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Alexandru Baltag
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Coordination of a Parallel Proposition Solver (1999)
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Centrum voor Wiskunde en Informatica REPORTRAPPORT Report SEN-R9902 (1999)
Merijn De Jonge, Tobias Kuipers, Joost Visser, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A Survey of Automated Timetabling (1999)
A. Schaerf, Issn -x, Andrea Schaerf
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Resource augmentation in load balancing (1999)
Y. Azar, L. Epstein, R. Van Stee, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Compilation and memory management for ASF+SDF (1999)
P. Klint, P. A. Olivier, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Compilation and memory management for ASF+SDF (1999)
P. Klint, P. A. Olivier, Issn -x, Paul Klint, Pieter Olivier
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Partial logics with two kinds of negation as a foundation of knowledge-based reasoning (1999)
H. Herre, G. Wagner, Issn -x, Heinrich Herre, Gerd Wagner
Partial logics with two kinds of negation as a foundation for knowledge-based reasoning
Late-breaking papers of EuroGP-99 (1999)
R. Poli, P. Nordin, T. Fogarty (eds.), Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
In the paper a method that moderates code growth in genetic programming is presented. The addressed problem is symbolic regression. A special mutation operator is used for the simplification of...
The Propositional Formula Checker HeerHugo (1999)
J. F. Groote, J. P. Warners, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Jan Friso Groote
HeerHugo is a propositional formula checker that determines whether a given formula is satisfiable or not. Its main ingredient is the branch/merge rule, that is inspired by an algorithm proposed by...
Relaxations of the Satisfiability Problem using Semidefinite Programming (1999)
Etienne De Klerk, H. Van Maaren, J. P. Warners, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
We derive a semidefinite relaxation of the satisfiability (SAT) problem and discuss its strength. We give both the primal and dual formulation of the relaxation. The primal formulation is an...
Building documentation generators (1999)
A. Van Deursen, T. Kuipers, Issn -x, Arie Van Deursen, Tobias Kuipers
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Research Issues in the Renovation of Legacy Systems (1999)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, Mathematisch Centrum, Arie Van Deursen, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Understanding COBOL Systems using Inferred Types (1999)
Arie Van Deursen, Leon Moonen, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Model Checking the HAVi Leader Election Protocol (1999)
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Size Fair and Homologous Tree Crossovers (1999)
W. B. Langdon, Issn -x, Copyright Stichting, Mathematisch Centrum, W. B. Langdon
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Discrete Time Process Algebra and the Semantics of SDL (1998)
Issn -x, J. A. Bergstra, J. A. Bergstra, C. A. Middelburg, C. A. Middelburg, Y. S. Usenko, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
On the incomparability of Gamma and Linda (1998)
Issn -x, G. Zavattaro, G. Zavattaro
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Building block filtering and mixing (1998)
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Pixel masks for screen-door transparency (1998)
J. D. Mulder, Issn -x, Jurriaan D. Mulder, ...
for promotion of mathematics and computer science and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Coordination Models and Languages (1998)
G. A. Papadopoulos, F. Arbab, Issn -x, George A. Papadopoulos, Farhad Arbab
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Centrum voor Wiskunde en Informatica REPORTRAPPORT Report SEN-R9831 (1998)
C. Shankl, Issn -x, Carron Shankl
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Exploiting symmetry in protocol testing (1998)
J. G. Springintveld, Issn -x, Copyright Stichting, Mathematisch Centrum, Judi Romijn, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Exploiting symmetry in protocol testing (1998)
J. G. Springintveld, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Judi Romijn
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Transmission function models of infinite population genetic algorithms (1998)
J. N. Kok, H La Poutr, D. Thierens, Issn -x, Mathematisch Centrum (smc, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Basic theorems for parallel processes in timed CRL (1998)
J. F. Groote, J. Van Wame, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Jan Friso Groote
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Liere. A Survey of Computational Steering Environments (1998)
J. D. Mulder, R. Van Liere, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Analysis of three hybrid systems in timed CRL (1998)
J. F. Groote, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Remote object translation methods for immersive virtual environments (1998)
J. D. Mulder, Issn -x, Jurriaan D. Mulder
for promotion of mathematics and computer science and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Using coordination to parallelize sparse-grid methods for 3D CFD problems (1998)
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Specification of components in a proposition solver (1998)
B. Lisser, Issn -x, Bert Lisser, Jos Van Wamel
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Discrete-time Process Algebra and the Semantics of SDL (1998)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, J.A. Bergstra, J. A. Bergstra, C. A. Middelburg, ...
We present an extension of discrete time process algebra with relative timing where recursion, propositional signals and conditions, a counting process creation operator, and the state operator are...
Automata and Coinduction (an exercise in coalgebra) (1998)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation
The classical theory of deterministic automata is presented in terms of the notions of homomorphism and bisimulation, which are the cornerstones of the theory of (universal) coalgebra. This leads to...
A note on Coinduction and Weak Bisimilarity for While Programs (1998)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, Mathematisch Centrum, ...
An illustration of coinduction in terms of a notion of weak bisimilarity is presented. First, an operational semantics O for while programs is defined in terms of a final automaton. It identifies any...
ABSTRACT Type Inference for COBOL Systems ∗ (1998)
A. Van Deursen, L. Moonen, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Abstract Veri�cation of Temporal Properties of Processes in a Setting with Data (1998)
J. F. Groote, R. Mateescu, Issn -x, R. Mateescu
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Basic theorems for parallel processes in timed CRL (1998)
J. F. Groote, J. Van Wamel, Issn -x, Copyright Stichting, Mathematisch Centrum, Jan Friso Groote, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Centrum voor Wiskunde en Informatica REPORTRAPPORT Report SEN-R9807 (1998)
A. Van Deursen, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Bisimilarity in Term Graph Rewriting (1998)
Z. M. Ariola, J. W. Klop, D. Plump, Issn -x, Copyright Stichting, Mathematisch Centrum, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Agent-based Simulation of Animal Behaviour (1998)
C. M. Jonker, J. Treur, Issn -x, Catholijn M. Jonker, Jan Treur
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Centrum voor Wiskunde en Informatica REPORTRAPPORT Report SEN-R9805 (1998)
A. Van Deursen, T. Kuipers, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Speci cation of Components in a Proposition Solver (1997)
B. Lisser, Issn -x, Copyright Stichting, Mathematisch Centrum, Bert Lisser, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A slicing-based approach for locating type errors (1997)
Issn -x, T. B. Dinesh, T. B. Dinesh, Frank Tip, Frank Tip
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Liere. Spotting Structure in Complex Time Dependent Flow (1997)
Issn -x, Wim De Leeuw, Wim De Leeuw, Robert Van Liere, Robert Van Liere
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Rijke. Why combine logics (1997)
P. Blackburn, M. De Rijke, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Patrick Blackburn, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A slicing-based approach for locating type errors (1997)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, T. B. Dinesh, T. B. Dinesh, Frank Tip, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Validating year 2000 compliance (1997)
A. Van Deursen, P. Klint, A. Sellink, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
The syntax and semantics of timed CRL (1997)
J. F. Groote, Issn -x, Jan Friso Groote
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Validating year 2000 compliance (1997)
A. Van Deursen, P. Klint, A. Sellink, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Parametrizable cameras for 3D computational steering (1997)
J. D. Mulder, Issn -x, Jurriaan D. Mulder
for promotion of mathematics and computer science and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Description and Formal Specification of the Link Layer of P1394 (1997)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, S. P. Luttik, S. P. Luttik
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Program plan recognition for year 2000 tools (1997)
A. Van Deursen, S. Woods, A. Quilici, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Bringing computational steering to the user (1997)
R. Van Liere, J. D. Mulder, Issn -x, Robert Van Liere, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A Note on n Similar Parallel Processes (1997)
J. F. Groote, Issn -x, Jan Friso Groote
We show that defining a finite but unbounded number of parallel processes using the equation S(k, dt) = P (0, get(0, dt))/eq(k, 0).(S(k - 1, dt) || P (k, get(k, dt))) is well defined, if one adopts...
Weighted Colimits and Formal Balls in Generalized Metric Spaces (1997)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation
(a) Limits of Cauchy sequences in a (possibly non-symmetric) metric space are shown to be weighted colimits (a notion introduced by Borceux and Kelly, 1975). As a consequence, further insights from...
The Syntax and Semantics of timed muCRL (1997)
J. F. Groote, Issn -x, Jan Friso Groote
We define a specification language called `timed CRL'. This language is designed to describe communicating processes employing data and time. Timed CRL is the successor of CRL [17]. It differs...
H. Kamp, Issn -x, Jan Van Eijck, Hans Kamp
This article gives a survey of Discourse Representation Theory (DRT), including recent developments, and with an emphasis on logical issues. Discourse representation structures are defined, and...
The Open Inventor Toolkit and the PREMO Standard (1997)
Issn -x, D. Wang, D. Wang, I. Herman, I. Herman, G. J. Reynolds, ...
PREMO is an emerging international standard for the presentations of multimedia objects including computer graphics. Open Inventor TM is a commercially available "de facto" standard for...
Search and Imperative Programming (1997)
Krzysztof Apt Cwi, K. R. Apt, A. Schaerf, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
We augment the expressive power of imperative programming in order to make it a more attractive vehicle for problems that involve search. The proposed additions are limited yet powerful and are...
Validating year 2000 compliance (1997)
A. Van Deursen, P. Klint, A. Sellink, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
The syntax and semantics of timed CRL (1997)
J. F. Groote, Issn -x, Jan Friso Groote
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Centrum voor Wiskunde en Informatica REPORTRAPPORT Report SEN-R9704 (1997)
A. Van Deursen, P. Klint, Issn -x, Little Languages, P. Klint
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A. Van Deursen, S. Woods, A. Quilici, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Steering Smog Prediction (1997)
R. Van Liere, Issn -x, Copyright Stichting, Mathematisch Centrum, Robert Van Liere, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Tabu search techniques for large high-school timetabling problems (1996)
A. Schaerf, Issn -x, Andrea Schaerf
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Truth of duration calculus formulae in timed frames (1996)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, C. A. Middelburg, C. A. Middelburg
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Objects and classes, co-algebraically (1996)
B. Jacobs, Issn -x, Bart Jacobs
for promotion of mathematics and computer science and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Towards a Complete Transformational Toolkit for Compilers (1996)
J. Field, Issn -x, J.A. Bergstra, J. A. Bergstra, T.B. Dinesh, T. B. Dinesh, ...
Pim is an equational logic designed to function as a "transformational toolkit" for compilers and other programming tools that analyze and manipulate imperative languages. It has been...
Universal Coalgebra: a Theory of Systems (1996)
In the semantics of programming, finite data types such as finite lists, have traditionally been modelled by initial algebras. Later final coalgebras were used in order to deal with infinite data...
High Performance Support for OO Traversals in Monet (1996)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, P.A. Boncz, P. A. Boncz, F. Kwakkel, ...
In this paper we discuss how Monet, a novel multimodel database system, can be used to efficiently support OODB applications. We show how Monet's offbeat view on key issues in database...
Value constraints in the CLP scheme (1996)
This paper addresses the question of how to incorporate constraint propagation into logic programming. A likely candidate is the CLP scheme, which allows one to exploit algorithmic opportunities...
Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding (1996)
Issn -x, M.M. Bonsangue, M. M. Bonsangue, F. Van Breugel, F. Van Breugel, ...
Generalized metric spaces are a common generalization of preorders and ordinary metric spaces (Lawvere 1973). Combining Lawvere's (1973) enriched-categorical and Smyth' (1988, 1991)...
Epic 1.0 (unconditional) an Equational Programming Language (1996)
We present Epic, an equational programming language: its abstract syntax, static and operational semantics, and one of many possible concrete grammars of unconditional Epic. CR Subject Classification...
Cases, Adverbs, Situations and Events (1996)
P. Dekker, Issn -x, Paul Dekker
In this paper we discuss two approaches to adverbial quantification, the so-called `bound variable approach' and the `situation-based approach', and we address the suggestion that has been...
A Verification of the Bakery Protocol Combining Algebraic and Model-oriented Techniques (1996)
Claudia Brovedani, A.S. Klusener, Issn -x, Claudia Brovedani, Steven Klusener
In this paper we give a specification of the so called Bakery protocol in an extension of the process algebra ACP with abstract datatypes. We prove that this protocol is equal to a Queue, modulo...
Evolutionary Air Traffic Flow Management for Large 3D-problems (1996)
Van Kemenade Cwi, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation
We present an evolutionary tool to solve free-route Air Traffic Flow Management problems within a threedimensional air space [5]. This is the first evolutionary tool which solves free-route planning...
J. Field, J. Heering, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
In an earlier paper, one of the present authors presented a preliminary account of an equational logic called PIM. PIM is intended to function as a "transformational toolkit" to be used by...
Industrial Applications of ASF+SDF (1996)
Mark Van Den, A. Van Deursen, P. Klint, A. S. Klusener, ...
In recent years, a number of Dutch companies have used the algebraic specification formalism ASF+SDF. Bank MeesPierson has specified a language for describing interest rate products, their...
Complexity of Transformation-Based Optimizers and Duplicate-Free Generation of Alternatives (1996)
J. Pellenkoft, M. L. Kersten, Issn -x, Arjan Pellenkoft, ...
Transformation-based optimizers that explore a search space exhaustively usually apply all possible transformation rules on each alternative, and stop when no new information is produced. In general,...
Compact Dynamisch Busstation (1996)
A.S. Klusener, A. Schrijver, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
In opdracht van Nederland Haarlem hebben de Universiteit Utrecht (UU) en het Centrum voor Wiskunde en Informatica (CWI) een studie gemaakt naar het ontwerp van een Compact Dynamisch Busstation (CDB)....
Explicit Filtering of Building Blocks for Genetic Algorithms (1996)
Genetic algorithms are often applied to building block problems. We have developed a simple filtering algorithm that can locate building blocks within a bit-string, and does not make assumptions...
A Syntax Directed Approach to Picture Semantics (1996)
D. Wang, H. Zeevat, Issn -x, Dejuan Wang, Henk Zeevat
If one constructs a visual language, it is necessary to have a methodology for constructing the relationship between aspects of the pictures and the corresponding aspects of the application domain....
J. Jaspars, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation
In this paper, reasoning with ambiguous representations is explored in a formal way, with ambiguities at the level of propositions in propositional logic and predicate logic, and ambiguous...
F. Gruau, K. Quatramaran, Issn -x, Kameel Quatramaran
This work reports experiments in interactive evolutionary robotics. The goal is to evolve an Artificial Neural Network (ANN) to control the locomotion of an 8-legged robot. The ANNs are encoded using...
Tractability Issues in Extraposition Grammar (1996)
A.V. Groenink, Issn -x, Annius V. Groenink
Extraposition Grammar (XG) was introduced in [Per81] as a grammar formalism whose increase in recognizing power over context free grammars is limited to mechanisms for adequate description of...
Automata and Behaviours in Categories of Processes (1996)
An early result of Goguen [4, 5] describes the fundamental adjunction between categories of deterministic automata and their behaviours. Our first step is to redefine (morphisms in) these categories...
CSE: A Modular Architecture for Computational Steering (1996)
Computational steering is the ultimate goal of interactive simulation. Steering enables users to supervise and dynamically control the computation of an ongoing simulation. We describe CSE : a...
Lambda Calculus with Explicit Recursion (1996)
Z. M. Ariola, J. W. Klop, Issn -x, Zena M. Ariola, Jan-Willem Klop
This paper is concerned with the study of -calculus with explicit recursion, namely of cyclic -graphs. The starting point is to treat a -graph as a system of recursion equations involving -terms, and...
P. Di Gianantonio, Issn -x, Pietro Di Gianantonio
Several methods to perform exact computations on real numbers have been proposed in the literature. In some of these methods real numbers are represented by infinite (lazy) strings of digits. It is a...
Multi-Authority Secret-Ballot Elections with Linear Work (1996)
M. Franklin, M. Yung, Issn -x, Mathematisch Centrum (smc, ...
We present new cryptographic protocols for multi-authority secret ballot elections that guarantee privacy, robustness, and universal verifiability. Application of some novel techniques, in particular...
Z. M. Ariola, J. W. Klop, Issn -x, Zena M. Ariola, Jan Willem Klop
We present an equational framework for term graph rewriting with cycles. The usual notion of homomorphism is phrased in terms of the notion of bisimulation, which is well-known in process algebra and...
Tackling the Dagstuhl'94 specification problem with I/O automata (1996)
An I/O automata solution to the problem posed by Broy & Lamport at the Dagstuhl Workshop on Reactive Systems is presented. The problem, which concerns components that communicate by means of a...
PREMO: An Emerging Standard for Multimedia Presentation (1996)
I. Herman, G. J. Reynolds, J. Van Loo, Issn -x, Ivan Herman Graham, James Van Loo
ISO/IEC JTC1/SC24 are developing a standard for the presentation of multimedia objects, called PREMO (Presentation Environments for Multimedia Objects). PREMO is aimed at application developers who...
Algebraic Verification of a Distributed Summation Algorithm (1996)
J. F. Groote, J. G. Springintveld, Issn -x, Jan Friso Groote, Jan Springintveld
In this note we present an algebraic verification of Segall's Propagation of Information with Feedback (PIF) algorithm. This algorithm serves as a nice benchmark for verification exercises (see...
On Generic Representation of Implicit Induction Procedures (1996)
Dimitri Naidich, Issn -x, Dimitri Naidich
We develop a generic representation of implicit induction proof procedures within the cover set induction framework. Our work further develops the approach of cover set induction on propositional...
On Monotone Function Closure of Perfect and Statistical Zero-Knowledge (1996)
I. Damgard, Issn -x, Ivan Damgård, Ronald Cramer
Assume we are given a language L with an honest verifier perfect zero-knowledge proof system. Assume also that the proof system is a 3 move Arthur-Merlin game. The class of such languages includes...
Truth of duration calculus formulae in timed frames (1996)
Issn -x, C. A. Middelburg, C. A. Middelburg
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Towards and infinitary logic of domains: Abramsky logic for transition systems (1995)
M. M. Bonsangue, J. N. Kok, Issn -x, Copyright Stichting, Mathematisch Centrum, Marcello M. Bonsangue, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Self-stabilizing mutual exclusion on directed graphs (1995)
D. Alstein, J. H. Hoepman, B. E. Olivier, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
Self-stabilizing mutual exclusion on directed graphs
F. Van Raamsdonk, P. Severi, Issn -x, Femke Van Raamsdonk, Paula Severi
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Lazy rewriting and eager machinery (1995)
Issn -x, H. R. Walters, H. R. Walters
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A complete equational axiomatization for mpa with string iteration (1995)
L. Aceto, J. F. Groote, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Luca Aceto, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Proof-checking an audio control protocol with LP (1995)
In this paper we report on the use of the Larch Prover to mechanize the correctness proof of the audio control protocol as presented in [BPV94].
Minimal Term Rewriting Systems (1995)
Formally well-founded compilation techniques for Term Rewriting Systems (TRSs) are presented. TRSs are compiled into Minimal Term Rewriting Systems (MTRSs), a subclass of TRSs in which all rules have...
A Proof System for Finite Trees (1995)
P. Blackburn, W. Meyer-Viol, M. De Rijke, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
In this paper we introduce a description language for finite trees. Although we briefly note some of its intended applications, the main goal of the paper is to provide it with a sound and complete...
Inheritance and Cofree Constructions (1995)
The coalgebraic view on classes and objects is elaborated to include inheritance. Inheritance in coalgebraic specification (of classes) will be understood dually to parametrization in algebraic...
Two-Sorted Metric Temporal Logics (1995)
A. Montanari, M. De Rijke, Issn -x, Angelo Montanari, Maarten De Rijke
Temporal logic has been successfully used for modeling and analyzing the behavior of reactive and concurrent systems. One shortcoming of (standard) temporal logic is that it is inadequate for...
A Reference Model for Teleconferencing Systems (1995)
Cinzia Bonini, W. J. Fokkink, A. Lesch, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
We present a specification in Z of the framework of a teleconferencing system, which combines text, computer graphics, video, audio and other features in a computer display. Teleconferencing systems...
Completing Partial Combinatory Algebras with Unique Head-Normal Forms (1995)
I. Bethke, J. W. Klop, R. De Vrijer, Issn -x, Inge Bethke, Jan Willem Klop, ...
In this note, we prove that having unique head-normal forms is a sufficient condition on partial combinatory algebras to be completable. As application, we show that the pca of strongly normalizing...
Issn -x, M.M. Bonsangue, F. Van Breugel
Generalized ultrametric spaces are a common generalization of preorders and ordinary ultrametric spaces (Lawvere 1973, Rutten 1995). Combining Lawvere's (1973) enrichedcategorical and...
Proving Termination of Logic Programs with Delay Declarations (1995)
Elena Marchiori And, E. Marchiori, F. Teusink, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
In this paper we propose a method for proving termination of logic programs with delay declarations. The method is based on the notion of recurrent logic program, which is used to prove programs...
A Methodology for Proving Termination of General Logic Programs (1995)
Elena Marchiori, Issn -x, Elena Marchiori
Termination of logic programs with negated body atoms, here called general logic programs, is an important topic. This is also due to the fact that the computational mechanisms used to process...
Efficient and Provable Security Amplifications (1995)
T. Pedersen, Issn -x, Ronald Cramer, Torben Pedersen
Even, Goldreich and Micali showed at Crypto'89 that the existence of signature schemes secure against known message attacks implies the existence of schemes secure against adaptively chosen...
Multimedia Synchronization (1995)
Michal Haindl, Issn -x, Michal Haindl
This paper presents a hierarchical synchronization model for the description of the time relations and regimes necessary for the presentation of multimedia or animated data which have either natural...
A Calculus of Transition Systems (towards Universal Coalgebra) (1995)
By representing transition systems as coalgebras, the three main ingredients of their theory: coalgebra, homomorphism, and bisimulation, can be seen to be in a precise correspondence to the basic...
Rewrite Systems for Integer Arithmetic (1995)
H. R. Walters, Issn -x, H. Zantema, H. Zantema
We present three term rewrite systems for integer arithmetic with addition, multiplication, and, in two cases, subtraction. All systems are ground confluent and terminating; termination is proved by...
The Bakery Protocol: A Comparative Case-Study in Formal Verification (1995)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, H.P. Korver, ...
Groote and the second author verified (a version of) the Bakery Protocol in CRL. Their process-algebraic verification is rather complex compared to the protocol. Now the question is: How do other...
An Adaptive Image Reconstruction Method (1994)
M. Haindl, Issn -x, Michal Haindl
for promotion of mathematics and computer science and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A complete term rewriting system for decimal integer arithmetic (1994)
Issn -x, H. R. Walters, H. R. Walters
for promotion of mathematics and computer science and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
abstract rewriting machine (1993)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, H. R. Walters, H. R. Walters
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Issn -x, T. B. Dinesh, T. B. Dinesh, F. Tip, F. Tip
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of