Automata and behaviours in categories of processes

Statistical estimation of Poisson intensity functions

R. Helmers
I W. Mangku
Roelof Helmers
I Wayan Mangku

January 2000

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

GraphXML An XML based graph interchange format

I. Herman
M. S. Marshall

January 2000

for promotion of mathematics and computer science and their applications. SMC is sponsored by the Ne...

• Category Theory applied in Automata Theory • Graph Transformations in a Category setting • Dynamic, Modal, and Higher-order Logics.

H. Ehrig
B. Jacobs
H. -j. Kreowski
B. Krieg-brückner
Chr Lüth
T. Mossakowski
J. J. M. M. Rutten
L. Schröder
Franz Baader
Manfred Droste
Bernhard Ganter
Steffen Hölldobler
Dietrich Kuske
Reinhard Pöschel
Michael Thielscher
Heiko Vogler

January 2005

Specification of discrete processes and systems of processes by operational models and logics at th...

Coalgebra, concurrency, and control

J. J. M. M. Rutten
Issn -x
J. J. M. M. Rutten

January 2000

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Curse of NP-completeness ABSTRACT

F. Waas
J. Pellenkoft
Florian Waas
Arjan Pellenkoft

January 1999

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

ABSTRACT Programming with Dynamic Predicate Logic

D. J. N. Van Eijck
Jan Van Eijck

January 1998

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

On the Structure of the Space of Product-Form Models

N. Bayer
R. J. Boucherie
Mathematisch Centrum (smc
The Dutch Foundation
Copyright Stichting
Mathematisch Centrum
Nimrod Bayer
Richard J. Boucherie

January 1998

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Resource augmentation in load balancing

Y. Azar
L. Epstein
R. Van Stee
Mathematisch Centrum (smc
The Dutch Foundation
Yossi Azar
Leah Epsteiny
Rob Van Steez

January 2000

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

email franckdiunipiit

M. M. Bonsangue
F. Van Breugel
J. J. M. M. Rutten
Mathematisch Centrum (smc
The Dutch Foundation
Mm Bonsangue
F Van Breugel

October 2016

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Algebraic Verication of a Distributed Summation Algorithm

J. F. Groote
J. G. Springintveld
Mathematisch Centrum (smc
The Dutch Foundation
Jan Friso Groote
E Mail

September 2016

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Local search techniques for large high-school timetabling problems

A. Schaerf
Mathematisch Centrum (smc
The Dutch Foundation
Copyright Stichting
Mathematisch Centrum
Andrea Schaerf

January 1999

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Legacy to the extreme

A. Van Deursen
T. Kuipers
L. M. F. Moonen
Issn -x
Arie Van Deursen
Tobias Kuipers
Leon Moonen

January 2001

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Automata and behaviours in categories of processes

Jacobs, B.P.F.

January 1996

An early result of Goguen describes the fundamental adjunction between categories of deterministic a...

Equational term graph rewriting

Z. M. Ariola
J. W. Klop
Zena M Ariola
Jan Willem Klop
De Boelelaan

January 1996

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

ABSTRACT Type Inference for COBOL Systems ∗

A. Van Deursen
L. Moonen
Issn -x
Mathematisch Centrum (smc
The Dutch Foundation
Copyright Stichting
Mathematisch Centrum
Arie Van Deursen

January 1998

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Statistical estimation of Poisson intensity functions

R. Helmers
I W. Mangku
Roelof Helmers
I Wayan Mangku

January 2000

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

GraphXML An XML based graph interchange format

I. Herman
M. S. Marshall

January 2000

for promotion of mathematics and computer science and their applications. SMC is sponsored by the Ne...

• Category Theory applied in Automata Theory • Graph Transformations in a Category setting • Dynamic, Modal, and Higher-order Logics.

H. Ehrig
B. Jacobs
H. -j. Kreowski
B. Krieg-brückner
Chr Lüth
T. Mossakowski
J. J. M. M. Rutten
L. Schröder
Franz Baader
Manfred Droste
Bernhard Ganter
Steffen Hölldobler
Dietrich Kuske
Reinhard Pöschel
Michael Thielscher
Heiko Vogler

January 2005

Specification of discrete processes and systems of processes by operational models and logics at th...

Coalgebra, concurrency, and control

J. J. M. M. Rutten
Issn -x
J. J. M. M. Rutten

January 2000

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Curse of NP-completeness ABSTRACT

F. Waas
J. Pellenkoft
Florian Waas
Arjan Pellenkoft

January 1999

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

ABSTRACT Programming with Dynamic Predicate Logic

D. J. N. Van Eijck
Jan Van Eijck

January 1998

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

On the Structure of the Space of Product-Form Models

N. Bayer
R. J. Boucherie
Mathematisch Centrum (smc
The Dutch Foundation
Copyright Stichting
Mathematisch Centrum
Nimrod Bayer
Richard J. Boucherie

January 1998

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Resource augmentation in load balancing

Y. Azar
L. Epstein
R. Van Stee
Mathematisch Centrum (smc
The Dutch Foundation
Yossi Azar
Leah Epsteiny
Rob Van Steez

January 2000

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

email franckdiunipiit

M. M. Bonsangue
F. Van Breugel
J. J. M. M. Rutten
Mathematisch Centrum (smc
The Dutch Foundation
Mm Bonsangue
F Van Breugel

October 2016

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Algebraic Verication of a Distributed Summation Algorithm

J. F. Groote
J. G. Springintveld
Mathematisch Centrum (smc
The Dutch Foundation
Jan Friso Groote
E Mail

September 2016

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Local search techniques for large high-school timetabling problems

A. Schaerf
Mathematisch Centrum (smc
The Dutch Foundation
Copyright Stichting
Mathematisch Centrum
Andrea Schaerf

January 1999

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Legacy to the extreme

A. Van Deursen
T. Kuipers
L. M. F. Moonen
Issn -x
Arie Van Deursen
Tobias Kuipers
Leon Moonen

January 2001

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Automata and behaviours in categories of processes

Jacobs, B.P.F.

January 1996

An early result of Goguen describes the fundamental adjunction between categories of deterministic a...

Equational term graph rewriting

Z. M. Ariola
J. W. Klop
Zena M Ariola
Jan Willem Klop
De Boelelaan

January 1996

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

ABSTRACT Type Inference for COBOL Systems ∗

A. Van Deursen
L. Moonen
Issn -x
Mathematisch Centrum (smc
The Dutch Foundation
Copyright Stichting
Mathematisch Centrum
Arie Van Deursen

January 1998

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Statistical estimation of Poisson intensity functions

R. Helmers
I W. Mangku
Roelof Helmers
I Wayan Mangku

January 2000

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

GraphXML An XML based graph interchange format

I. Herman
M. S. Marshall

January 2000

for promotion of mathematics and computer science and their applications. SMC is sponsored by the Ne...

• Category Theory applied in Automata Theory • Graph Transformations in a Category setting • Dynamic, Modal, and Higher-order Logics.

H. Ehrig
B. Jacobs
H. -j. Kreowski
B. Krieg-brückner
Chr Lüth
T. Mossakowski
J. J. M. M. Rutten
L. Schröder
Franz Baader
Manfred Droste
Bernhard Ganter
Steffen Hölldobler
Dietrich Kuske
Reinhard Pöschel
Michael Thielscher
Heiko Vogler

January 2005

Specification of discrete processes and systems of processes by operational models and logics at th...

Automata and behaviours in categories of processes

Abstract

Extracted data

Automata and behaviours in categories of processes

Abstract

Extracted data

Related items

Related items