作者 Joseph C.M. Baeten 的书籍 - BookPine

Process Algebra: Equational Theories of Communicating Processes

Process Algebra: Equational Theories of Communicating Processes

Joseph C.M. Baeten

Process Algebra with Timing

Process Algebra with Timing

Joseph C.M. Baeten

Theoretical Computer Science: 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings

Theoretical Computer Science: 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings

Joseph C.M. Baeten

Applications of Process Algebra

Applications of Process Algebra

Joseph C.M. Baeten

Automata, Languages and Programming: 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings

Automata, Languages and Programming: 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings

Joseph C.M. Baeten

CONCUR '91: 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings

CONCUR '91: 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings

Joseph C.M. Baeten

Concur 91: 2nd International Conference on Concurrency Theory Amsterdam, the Netherlands, August 26-29, 1991 : Proceedings

Concur 91: 2nd International Conference on Concurrency Theory Amsterdam, the Netherlands, August 26-29, 1991 : Proceedings

Joseph C.M. Baeten

Applications of Process Algebra

Applications of Process Algebra

Joseph C.M. Baeten

Process Algebra

Process Algebra

Joseph C.M. Baeten

CONCUR '90: Theories of Concurrency: Unification and Extension: Theories of Concurrency: Unification and Extension

CONCUR '90: Theories of Concurrency: Unification and Extension: Theories of Concurrency: Unification and Extension

Joseph C.M. Baeten

Concur '90: Theories of Concurrency Unification and Extension, Amsterdam, the Netherlands, Aug. 27-30, 1990, Proceedings

Concur '90: Theories of Concurrency Unification and Extension, Amsterdam, the Netherlands, Aug. 27-30, 1990, Proceedings

Joseph C.M. Baeten