Refinement of actions in a real-time process algebra with a true concurrency model

@article{Fecher2002RefinementOA,
  title={Refinement of actions in a real-time process algebra with a true concurrency model},
  author={Harald Fecher and Mila E. Majster-Cederbaum and Jinzhao Wu},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2002},
  volume={70},
  pages={260-280}
}
Highly Cited
This paper has 24 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 10 extracted citations

Operational semantics for real-time processes with action refinement

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) • 2005

Towards action refinement for concurrent systems with causal ambiguity

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. • 2004
View 5 Excerpts

Similar Papers

Loading similar papers…