1. 1
   Combining linear time temporal logic descriptions of concurrent computations

   由 Kuiper, Ruurd
   出版 1989

   Netherlands : Technische Universiteit Eindhoven, 1989.

   146 p.

   主題: “...Concurrente programmering. gtt....”
   

   Local Call Number: 載入...
   

   載入...

   加到收藏夾
   

   Saved in:
2. 2
   Denotational semantics for asynchronous concurrent languages

   由 Nyström, Sven-Olof
   出版 1996

   Uppsala, Sweden : Computing Science Dept., Uppsala University, c1996.

   182 p. : ill. ; 25 cm.

   主題: “...Concurrente programmering. gtt....”
   

   Local Call Number: 載入...
   

   載入...

   加到收藏夾
   

   Saved in:

檢索工具: