The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems

@inproceedings{Rounds2003ThePA,
  title={The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems},
  author={William C. Rounds and Hosung Song},
  booktitle={HSCC},
  year={2003}
}
Highly Cited
This paper has 80 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

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

Hybrid process algebra

J. Log. Algebr. Program. • 2005
View 4 Excerpts
Highly Influenced

A Formal Approach to Cyber-Physical Attacks

2017 IEEE 30th Computer Security Foundations Symposium (CSF) • 2017
View 2 Excerpts

On Denotational Semantics of Spatial-Temporal Consistency Language -- STeC

2013 International Symposium on Theoretical Aspects of Software Engineering • 2013
View 1 Excerpt

80 Citations

01020'02'05'09'13'17
Citations per Year
Semantic Scholar estimates that this publication has 80 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…