scientific article; zbMATH DE number 1231548

MaRDI QIDQ4222864zbMATH OpenFDO

Authors Christopher Landauer

Publication date 20 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume4.htm#landauer

zbMATH Keywords

discrete event simulationrewriting logics

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 5587277
• Constraint logic programming for reasoning about discrete event processes
• Transition systems from event structures revisited
• scientific article; zbMATH DE number 744063
• A logic-based foundation of discrete event modeling and simulation
• A logic-based, reactive calculus of events
• Event Calculus Reasoning Through Satisfiability
• scientific article; zbMATH DE number 1445411
• Discrete event systems in dioid algebra and conventional algebra

Cited in

(9)

• Rewriting logic: Roadmap and bibliography
• Constraint logic programming for reasoning about discrete event processes
• scientific article; zbMATH DE number 744063 (Why is no real title available?)
• A logic-based foundation of discrete event modeling and simulation
• scientific article; zbMATH DE number 5587277 (Why is no real title available?)
• Validating behavioral component interfaces in rewriting logic
• Computational Science – ICCS 2005
• Rewriting logic as a semantic framework for concurrency: a progress report
• Algebraic simulations

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 Q4222864)