The Φ-calculus – a Hybrid Extension of the Π-calculus to Embedded Systems

  title={The Φ-calculus – a Hybrid Extension of the Π-calculus to Embedded Systems},
  author={Hosung Song},
ions apply to concretions more or less exactly as in the π-calculus. Definition 6.3. The application G@C of a φ-abstraction and concretion is defined as follows: ((~ w)P )@ν~z〈 ~y 〉.Q =def ν~z( {~y/~ w}P ‖ Q ) where ~ y and ~ w have the same length, and where names in N must be substituted for names in N , and names in X for names in X . Applications can of course be carried out in the context of an environment E. Example 6.4. For any E (E, (axb).a.[x . = 2].b@〈 cyd 〉.[y . = 3]) = (E, c.[y… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 19 references

The Theory of Hybrid Automata

LICS • 1996
View 5 Excerpts
Highly Influenced

Exact robot navigation using artificial potential functions

IEEE Trans. Robotics and Automation • 1992
View 12 Excerpts
Highly Influenced

From csp to hybrid systems. In A Classical Mind, Essays in Honour of C

He Jifeng
Prentice-Hall international, • 1994
View 5 Excerpts
Highly Influenced

Model Checking Mobile Processes

CONCUR • 1993
View 3 Excerpts
Highly Influenced

On Hybrid Petri Nets

Discrete Event Dynamic Systems • 2001
View 1 Excerpt

Similar Papers

Loading similar papers…