Publication Search Results
Exact matches for:
- Author = Katis P [web profile page]
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, Walters RFC
Katis Piergiulio, Walters Robert F C:
The compact closed bicategory of left adjoints,
Mathematical Proceedings of the Cambridge Philosophical Society,
130
(2001),
77–87.
2001i:18014
3.
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
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.
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
| Number of matches: 7 |