scientific article; zbMATH DE number 1497750

zbMath0958.68155MaRDI QIDQ4499161

No author found.

Publication date: 6 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

evidence algorithmaction language

Mathematics Subject Classification ID

Uses Software

• APS-1
• APS

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

This page was built for publication: