Semantics of production systems

DOI10.1016/0890-5401(87)90016-2zbMath0656.68025OpenAlexW1988602629MaRDI QIDQ1110314

Giuliano Pacini, Franco Turini

Publication date: 1987

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0890-5401(87)90016-2

zbMATH Keywords

production systemsdenotational semanticssearch treesconflict resolution

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Semantics of nondeterminism, concurrency, and communication
• A calculus of communicating systems
• A Powerdomain Construction
• Communicating sequential processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantics of production systems