scientific article; zbMATH DE number 1795753

zbMATH Open1008.68083MaRDI QIDQ4550809FDOQ4550809

Authors: Jinzhao Wu 

Publication date: 4 September 2002

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

• Towards action refinement for true concurrent real time
• Title not available (Why is that?)
• A refinement-based process algebra for timed automata
• Action refinement for real-time concurrent processes with urgency
• Title not available (Why is that?)
• Refinements and Abstractions of Signal-Event (Timed) Languages

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)