Vol-2429⫷ Vol-2430 ⫸Vol-2431
urn:nbn:de:0074-2430-0


Vol-2430/paper2⫷Vol-2430/paper3⫸Vol-2430/paper4
Artem DavydovAleksandr LarionovNadezhda V. Nagul

PCF-based formalization of the parallel composition of automata