A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Automata (or labeled transition systems) are widely used as operational models in the eld of process description languages like CCS 13]. There are however classes of formalisms that are not modelled adequately by the automata. This is the case, for instance, of the -calculus 15,14], an extension of CCS where channels can be used as values in the communications and new channels can be created dynamically. Due to the necessity to represent the creation of new channels, in nite automata aredoi:10.1016/s1571-0661(05)80696-6 fatcat:lvy6ubdmozcsrdt3jlkeznljj4