2 citations · 2 across the 2 of their papers we have counts for
2 papers
math.CT2009★ 2 cited
A process algebra for the Span(Graph) model of concurrency
P. Katis, N. Sabadini, R. F. C. Walters
In this note we define a process algebra TCP (Truly Concurrent Processes) which corresponds closely with the automata model of concurrency based on Span(RGraph), the category of sp…
cs.DC2000
On Automata with Boundary
R. Gates, P. Katis, N. Sabadini +1
We present a theory of automata with boundary for designing, modelling and analysing distributed systems. Notions of behaviour, design and simulation appropriate to the theory are…