Port Automata and the Algebra of Concurrent Processes.
Martha SteenstrupMichael A. ArbibErnest G. ManesPublished in: J. Comput. Syst. Sci. (1983)
Keyphrases
- concurrent processes
- petri net
- concurrent programs
- cellular automata
- finite automata
- query language
- probabilistic automata
- regular expressions
- boolean algebra
- finite state machines
- turing machine
- relational algebra
- data model
- algebraic structures
- tree automata
- lattice gas
- algebraic expressions
- algebraic geometry
- algebraic structure
- website
- database systems