( en | de | ru )

 

Disambiguierung von "Ohmaki, Kazuhito"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Eventuality in LOTOS with a Disjunction Operator.

, , und . ASIAN, Volume 1538 von Lecture Notes in Computer Science, Seite 263-281. Springer, (1998)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Ohmaki, Kazuhito
Eine Person hinzufügen mit dem Namen Ohmaki, Kazuhito
 

Weitere Publikationen von Autoren mit dem selben Namen

Efficiency of Concurrent Processing of Sort Using CSP., , , , , , und . SNPD, Seite 524-529. IEEE Computer Society, (2012)Open Source Software Research Activities in AIST towards Secure Open Systems.. HASE, Seite 37-42. IEEE Computer Society, (2002)An Experimental Analysis for Classifying Specification Processes., , , , , , , und . SEKE, Seite 231-234. Knowledge Systems Institute, (1993)Eventuality in LOTOS with a Disjunction Operator., , und . ASIAN, Volume 1538 von Lecture Notes in Computer Science, Seite 263-281. Springer, (1998)Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture., , , , , und . J. Inf. Process., 20 (3): 559-569 (2012)FDR verification of a system involving a robot climbing stairs., , , , , und . ICIS, Seite 875-878. IEEE Computer Society, (2017)Design and Implementation of an Application Interface for LOTOS Processors., , , , , und . FORTE, Volume C-2 von IFIP Transactions, Seite 345-360. North-Holland, (1991)Early Experiences with a Multi-Display Programming Environment., , und . ICSE, Seite 422-423. IEEE Computer Society, (1982)A New Programming Environment With a Multi-Display Terminal and Early Experiences With It., , und . Comput. Lang., 9 (1): 39-49 (1984)Analysis of Database Production Rules by Process Algebra., , und . IEICE Trans. Inf. Syst., 78-D (8): 992-1002 (1995)