Simulating finitely recursive processes in LISP

MaRDI QIDQ1198588zbMATH OpenFDO

Authors Randall A. Cieslak, Pravin Varaiya

Publication date 16 January 1993

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

zbMATH Keywords

simulationdiscrete event systemsprocess algebrasfinitely recursive processes

Mathematics Subject Classification ID

General systems (93A10)

Recommendations

• Boundedness analysis of finitely recursive processes. I. Concurrent processes
• Fixpoint semantics and simulation
• scientific article; zbMATH DE number 3907742
• Inductively defined functions in functional programming languages
• scientific article; zbMATH DE number 3892554

Cited in

(1)

• scientific article; zbMATH DE number 3876569 (Why is no real title available?)

This page was built for publication: Simulating finitely recursive processes in LISP

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