scientific article; zbMATH DE number 1795753

MaRDI QIDQ4550809zbMATHFDO

Authors Jinzhao Wu

Publication date 4 September 2002

zbMATH Keywords

real-time process algebra

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2086975
• scientific article; zbMATH DE number 1536547
• Towards action refinement for true concurrent real time
• Action refinement and equivalence notions for timed event structures
• Action refinement for real-time concurrent processes with urgency
• Action refinement applied to late decisions
• Refinement of actions for real-time concurrent systems with causal ambiguity
• scientific article; zbMATH DE number 1953035
• scientific article; zbMATH DE number 2113973

Cited in

(6)

• scientific article; zbMATH DE number 2086975 (Why is no real title available?)
• scientific article; zbMATH DE number 176759 (Why is no real title available?)
• A refinement-based process algebra for timed automata
• Towards action refinement for true concurrent real time
• Refinements and Abstractions of Signal-Event (Timed) Languages
• Action refinement for real-time concurrent processes with urgency

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