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

id	ndltd-NAGOYA-oai-ir.nul.nagoya-u.ac.jp-2237-10403
record_format	oai_dc
spelling	ndltd-NAGOYA-oai-ir.nul.nagoya-u.ac.jp-2237-104032013-01-07T23:45:11ZA Timed Extension of the pi-Calculus and Application for Real-Time System DevelopmentKUWABARA, HiroakiINTELLIGENT MEDIA INTEGRATION NAGOYA UNIVERSITY / COE2005-12Presentationhttp://hdl.handle.net/2237/10403Third Symposium on "Intelligent Media Integration for Social Information Infrastructure" December 6, 2005, p.115en
collection	NDLTD
language	en
sources	NDLTD
author	KUWABARA, Hiroaki
spellingShingle	KUWABARA, Hiroaki A Timed Extension of the pi-Calculus and Application for Real-Time System Development
author_facet	KUWABARA, Hiroaki
author_sort	KUWABARA, Hiroaki
title	A Timed Extension of the pi-Calculus and Application for Real-Time System Development
title_short	A Timed Extension of the pi-Calculus and Application for Real-Time System Development
title_full	A Timed Extension of the pi-Calculus and Application for Real-Time System Development
title_fullStr	A Timed Extension of the pi-Calculus and Application for Real-Time System Development
title_full_unstemmed	A Timed Extension of the pi-Calculus and Application for Real-Time System Development
title_sort	timed extension of the pi-calculus and application for real-time system development
publisher	INTELLIGENT MEDIA INTEGRATION NAGOYA UNIVERSITY / COE
publishDate	2005
url	http://hdl.handle.net/2237/10403
work_keys_str_mv	AT kuwabarahiroaki atimedextensionofthepicalculusandapplicationforrealtimesystemdevelopment AT kuwabarahiroaki timedextensionofthepicalculusandapplicationforrealtimesystemdevelopment
_version_	1716491374759510016

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

Similar Items