Publication Search Results

Matches for:

• Author=Sabadini N

1. Katis P, Sabadini N, Walters RFC. Feedback, trace and fixed-point semantics, Theoretical Informatics and Applications, 36 (2002), 181–194. 2003k:68071

2. Katis P, Sabadini N, Walters RFC. 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. 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. Bicategories of processes, Journal of Pure and Applied Algebra, 115 (1997), 141–178. 97m:18010

5. Katis P, Sabadini N, Walters RFC. 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. 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

7. Bloom SL, Sabadini N, Walters RFC. Matrices, machines and behaviors, Applied Categorical Structures, 4 (1996), 343–360. 98a:68049

8. Sabadini N, Vigna S, Walters RFC. A note on recursive functions, Mathematical Structures in Computer Science, 6 (1996), 127–139. 97e:03061

9. 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. Sabadini N, Weld H, Walters RFC. Categories of asynchronous circuits, Computing: Australian Theory Seminar, UTS, Sydney, 1994, (1994), 158–188.

11. Katis P, Sabadini N, Walters RFC. The bicategory of circuits, Computing: Australian Theory Seminar, UTS, Sydney, 1994, (1994), MR1382445

12. Islam A, Sabadini N, Walters RFC. Extensive categories, and progress properties in concurrency, Computing: Australian Theory Seminar, UTS, Sydney, 1994, (1994), MR1382445

13. 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.