Publication Search Results
Exact matches for:
- Author = Sabadini N
1.
Katis P, Sabadini N, Walters RFC
P Katis, Nicoletta Sabadini, Robert F C Walters:
Feedback, trace and fixed-point semantics,
Theoretical Informatics and Applications,
36
(2002),
181–194.
2003k:68071
2.
Katis P, Sabadini N, Walters RFC
Piergiulio Katis, Nicoletta Sabadini, Robert F C Walters:
On the algebra of feedback and systems with boundary,
Rendiconti del Circolo Matematico di Palermo. (2) Supplemento,
64
(2000),
123–156.
2002h:93003
3.
Rosebrugh R, Sabadini N, Walters RFC
Robert Rosebrugh, N Sabadini and R F C Walters:
Minimal Realization in bicategories of automata,
Mathematical Structures in Computer Science,
8
(1998),
no. 2,
93–116.
2000b:68134
4.
Katis P, Sabadini N, Walters RFC
P. Katis, N. Sabadini, R.F.C. Walters:
Representing place/transition nets in Span(Graph),
Algebraic Methodology and Software Technology,
AMAST '97,
Michael Johnson (ed.),
Lecture Notes in Computer Science,
Springer,
Germany,
(1997),
322–336.
ISBN 3-540-63888-1.
5.
Katis P, Sabadini N, Walters RFC
P. Katis, N. Sabadini, R.F.C. Walters:
Span(Graph): A categorical algebra of transition systems,
Algebraic Methodology and Software Technology,
AMAST '97,
Michael Johnson (ed.),
Lecture Notes in Computer Science,
Springer,
Germany,
(1997),
307–321.
ISBN 3-540-63888-1.
6.
Katis P, Sabadini N, Walters RFC
P. Katis, N. Sabadini, R.F.C. Walters:
Bicategories of processes,
Journal of Pure and Applied Algebra,
115
(1997),
141–178.
97m:18010
7.
Sabadini N, Vigna S, Walters RFC
N. Sabadini, S. Vigna, R.F.C. Walters:
A note on recursive functions,
Mathematical Structures in Computer Science,
6
(1996),
127–139.
97e:03061
8.
Bloom SL, Sabadini N, Walters RFC
S. Bloom, N. Sabadini, R.F.C. Walters:
Matrices, machines and behaviors,
Applied Categorical Structures,
4
(1996),
343–360.
98a:68049
9.
Mauri G, Sabadini N, Shammah S, Walters RFC
Mauri G, Sabadini N, Shammah S, Walters RFC:
Distributive automata, Asynchronous automata and Petri nets,
Workshop on algebraic and syntactic aspects of concurrency, ASMICS project, Chantilly LITP 95/48,
325
(1995),
53–73.
MR1344921
10.
Islam A, Sabadini N, Walters RFC
Islam A, Sabadini N, Walters RFC:
Extensive categories, and progress properties in concurrency,
Computing: Australian Theory Seminar, UTS, Sydney, 1994,
(1994),
MR1382445
11.
Katis P, Sabadini N, Walters RFC
Katis P, Sabadini N, Walters RFC:
The bicategory of circuits,
Computing: Australian Theory Seminar, UTS, Sydney, 1994,
(1994),
MR1382445
12.
Sabadini N, Weld H, Walters RFC
Sabadini N, Weld H, Walters RFC:
Categories of asynchronous circuits,
Computing: Australian Theory Seminar, UTS, Sydney, 1994,
(1994),
158–188.
13.
Sabadini N, Weld H, Walters RFC
Sabadini N, Weld H, Walters RFC:
Distributive automata and asynchronous circuits,
Category Theory and Computer Science 5,
(1993),
28–32.
14.
Sabadini N, Vigna S, Walters RFC
Sabadini N, Vigna S, Walters RFC:
A notion of refinement for automata,
Algebraic Methodology and Software Technology 1993,
Nivat M, Rattray C, Rus T, Scollo G eds (eds.),
Workshops in computing,
Springer Verlag,
(1993),
327–334.
| Number of matches: 14 |