#### Filter Results:

- Full text PDF available (1)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Kamal Barakat
- 2012

We introduce a new concept of modeling timed behavior in pi-calculus by representing timed actions (or timers) as interactions between application processes and clock processes. This approach extends the original calculus in a manner such that bisimulation arrangements in pi-calculus remain untouched.

- Kamal Barakat, Stefan Kowalewski, Thomas Noll
- 2012 Sixth International Symposium on Theoretical…
- 2012

We introduce a new concept of modeling timed behavior in pi-calculus by representing timed actions (or timers) as interactions between application processes and clock processes. This approach extends the original calculus in a manner such that bisimulation arrangements in pi-calculus remain untouched. We also present a tool to simulate specifications… (More)

- Kamal Barakat, Stefan Kowalewski
- ICUMT
- 2012

- ‹
- 1
- ›