Summary: 1
#
× ×
1
0
0
concur
ccs
trans­
ducers i.e.
Q, X,Y, q , #
Q q Q X Y
# Q X # Y Q
Retracing some paths in Process Algebra
1 Introduction
2 The semantic universe: transducers
Similar ideas appeared independently in the work of Hans Beki’c [Bek71].
Samson Abramsky
Laboratory for the Foundations of Computer Science
University of Edinburgh

Source: Abramsky, Samson - Computing Laboratory, University of Oxford

Collections: Computer Technologies and Information Sciences