Publication:4499161
From MaRDI portal
zbMath0958.68155MaRDI QIDQ4499161
No author found.
Publication date: 6 March 2001
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Conditional rewriting logic as a unified model of concurrency
- Implementation of numerical-analytical approximation methods for functions defined by ordinary differential equations
- A general theory of action languages
- Computations in APS
- Truly concurrent constraint programming
- Process algebra for synchronous communication
- Some problems in the theories of automata and artificial intelligence