scientific article; zbMATH DE number 1435987

MaRDI QIDQ4948016zbMATH OpenFDO

Authors Michael Shields

Publication date 17 October 2000

zbMATH Keywords

formal semantics for path programs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Formal semantics for program paths
• scientific article; zbMATH DE number 3984592
• A formal semantics for concurrent systems with a priority relation
• scientific article; zbMATH DE number 4060688
• scientific article; zbMATH DE number 3974312

Cited in

(1)

• Path indexing for AC-theories

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4948016)