A Timed Extension of the pi-Calculus and Application for Real-Time System Development

Bibliographic Details
Main Author: KUWABARA, Hiroaki
Language:en
Published: INTELLIGENT MEDIA INTEGRATION NAGOYA UNIVERSITY / COE 2005
Online Access:http://hdl.handle.net/2237/10403