Suggested Topics within your search.
Suggested Topics within your search.
- Concurrent systems
- Sistemas concurrentes 2
- Analysis of algorithms and problem complexity 1
- Análisis de algoritmos y problemas de complejidad 1
- Clasificación de los lenguajes 1
- Concurrent programming 1
- Deducción y prueba de teoremas 1
- Deduction and theorem proving 1
- Distributed systems 1
- Formal theory of parallel systems 1
- Interleaving semantics 1
- Language classifications 1
- Lenguajes de programación-Definiciones formales y teoría 1
- Occurrence nets 1
- Partially ordered sets 1
- Petri nets 1
- Proceso administrativo 1
- Process management 1
- Programación concurrente 1
- Programming languages-Formal definitions and theory 1
- Sistemas distribuidos 1
- Software-Requerimientos y especificaciones 1
- Software-Requirements and specifications 1
-
1
-
2
-
3
Algorithms, concurrency and knowledge / 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings /
Published 1995Conference Proceeding Book