Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
ducers i.e. Q, X,Y, q , #
 

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