|
|
On Categories of Asynchronous Circuits
– N. Sabadini, R.F.C. Walters, Henry Weld
- 1994
|
|
1
|
Specifying IMP(G) Using ASF+SDF: A Case Study
– Sebastiano Vigna
- 1995
|
|
|
Towards an Efficient Implementation of Distributive Programs
– Sebastiano Vigna
- 1997
|
|
3
|
On the Algebra of Feedback and Systems With Boundary
– Piergiulio Katis, N. Sabadini, R.F.C. Walters
- 1998
|
|
3
|
INTERCONNECTION OF PROBABILISTIC SYSTEMS
– Paulo Alexandre Carreira Mateus
- 2000
|
|
|
unknown title
– L. De Francesco Albasini, N. Sabadini, R. F. C. Walters
- 2009
|
|
|
delta-approximable Functions
– Charles Meyssonnier, Paolo Boldi, Sebastiano Vigna
- 2001
|
|
24
|
A survey on real structural complexity theory
– C. Michaux
- 1997
|
|
|
On the Algebra of Systems With Boundary
– Piergiulio Katis, N. Sabadini, R.F.C. Walters
|
|
7
|
On the relations between distributive computability and the BSS model
– Sebastiano Vigna
|
|
|
Planar Finite Automata
– Ivona Bezáková, Martin Pál
- 1999
|
|
2
|
Algebra and language theory
– P. M. Cohn
- 1975
|
|
|
Van Kampen diagrams are bicolimits in Span
– Tobias Heindel, Paweł Sobocinski
|
|
|
Van Kampen colimits as bicolimits in Span
– Tobias Heindel, Paweł Sobocinski
|
|
7
|
Some Algebraic Laws for Spans (and Their Connections With Multi-Relations)
– Roberto Bruni, Fabio Gadducci
- 2001
|
|
15
|
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting
– Fabio Gadducci, Reiko Heckel, Mercé Llabrés
- 1999
|
|
31
|
Reactive Systems over Cospans
– Vladimiro Sassone, Pawel Sobocinski
- 2005
|
|
|
A Survey on Inductive Learning
– Jalal Mahmud, Jalal Mahmud
- 2005
|
|
|
The Relevance of Recognizable Sets
– Anoop Sarkar
- 1995
|
