A Timed Extension of the pi-Calculus and Application for Real-Time System Development
Main Author: | |
---|---|
Language: | en |
Published: |
INTELLIGENT MEDIA INTEGRATION NAGOYA UNIVERSITY / COE
2005
|
Online Access: | http://hdl.handle.net/2237/10403 |