論文 - 高汐　一紀

Toward Languages and Formal Systems for Distributed Computing

Mario Tokoro, Kazunori Takashio

Lecture Notes in Computer Science / ECOOP'93 Workshop on Object Based Distributed Programming （Springer-Verlag）  791   93-110 1993年07月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

Time Polymorphic Invocation: A Real-Time Communication Model for Distributed Systems

Kazunori Takashio, Mario Tokoro

1st International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS'93) （IEEE Computer Society）     79-88 1993年04月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

DROL: An Object-Oriented Programming Language for Distributed Real-Time Systems

Kazunori Takashio, Mario Tokoro

ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'92) （ACM）     276-294 1992年10月

研究論文（国際会議プロシーディングス）, 共著, 査読有り