( en | de | ru )

 

Disambiguation of "Kaiser, Claude"

Author of the publication

copydeleteadd this publication to your clipboard
Chameneos, a Concurrency Game for Java, Ada and Others

, and . ACS/IEEE International Conference on Computer Systems and Applications, 2003. Book of Abstracts., page 62. (January 2003)
DOI: 10.1109/AICCSA.2003.1227495

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Claude Louis

Claude Krier

Claude Velo

Claude Muller

Claude Haan

 

Other publications of authors with the same name

Handling Overload and Data-Relaxation Control in Distributed Real-Time Database Systems., , and . Int. J. Comput. Their Appl., 15 (3): 187-200 (2008)Quasar: A New Tool for Concurrent Ada Programs Analysis., , , and . Ada-Europe, volume 2655 of Lecture Notes in Computer Science, page 168-181. Springer, (2003)Concurrent Program Metrics Drawn by Quasar., , and . Ada-Europe, volume 5026 of Lecture Notes in Computer Science, page 101-114. Springer, (2008)Modelling Remote Concurrency with Ada., , and . Ada-Europe, volume 4498 of Lecture Notes in Computer Science, page 192-207. Springer, (2007)Comparing the Reliability Provided by Tasks or Protected Objects for Implementing a Resource Allocation Service: a Case Study., and . TRI-Ada, page 51-65. ACM, (1997)Distributed Overload Control for Real-Time Replicated Database Systems., and . ICEIS (1), page 380-388. (2003)An Extensible Structure for Protected Systems' Design., , , and . Comput. J., 19 (4): 315-321 (1976)Petri nets based proofs of Ada 95 solution for preference control., , and . APSEC, page 238-248. IEEE Computer Society, (1997)Dynamic Tasks Verification with Quasar., , , , and . Ada-Europe, volume 3555 of Lecture Notes in Computer Science, page 91-104. Springer, (2005)Petri net models of a distributed election protocol on a unidirectional ring., , and . Applications and Theory of Petri Nets, volume 483 of Lecture Notes in Computer Science, page 287-312. Springer, (1989)