M. Steenstrup, M. A Arbib, and E. G Manes (1983)
Port Automata and the Algebra of Concurrent Processes
Journal of Computer and System Sciences, 27:29-50.
Document Actions
————————————————————————————————————————————————————————————————————————
Instituto Un
Universidad de Las Palmas de Gran Canaria
M. Steenstrup, M. A Arbib, and E. G Manes (1983)
Journal of Computer and System Sciences, 27:29-50.
Document Actions