@inproceedings{oai:nagoya.repo.nii.ac.jp:00008652,
 author = {KUWABARA, Hiroaki},
 book = {Third Symposium on "Intelligent Media Integration for Social Information Infrastructure" December 6, 2005},
 month = {Dec},
 pages = {115--115},
 publisher = {INTELLIGENT MEDIA INTEGRATION  NAGOYA UNIVERSITY / COE},
 title = {A Timed Extension of the pi-Calculus and Application for Real-Time System Development},
 year = {2005}
}