Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Proof Systems for Message-Passing Process Algebras.

M. Hennessy, und H. Lin. Formal Asp. Comput., 8 (4): 379-407 (1996)

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.

Huimin Hu University of Stuttgart

Yayi Lin University of Stuttgart

Estefania Linuesa Torrijos University of Stuttgart

Robert Lindemann University of Stuttgart

Hendrik Linder University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Proof Systems for Message-Passing Process Algebras.M. Hennessy, und H. Lin. Formal Asp. Comput., 8 (4): 379-407 (1996)Axiomatising timed automata.H. Lin, und W. Yi. Acta Inf., 38 (4): 277-305 (2002)Model-based Testing of Concurrent Programs with Predicate Sequencing Constraints.P. Wu, und H. Lin. International Journal of Software Engineering and Knowledge Engineering, 16 (5): 727-746 (2006)Automatic Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver.R. Merkel, D. Wang, H. Lin, und T. Chen. International Journal of Software Engineering and Knowledge Engineering, 21 (2): 289-307 (2011)Predicate µ-Calculus for Mobile Ambients.H. Lin. J. Comput. Sci. Technol., 20 (1): 95-104 (2005)Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation.X. Yang, J. Katoen, H. Lin, und H. Wu. CoRR, (2017)Environment Abstraction with State Clustering and Parameter Truncating.H. Pan, Y. Lv, und H. Lin. TASE, Seite 73-80. IEEE Computer Society, (2009)Extended Symbolic Transition Graphs with Assignment.W. Deng, und H. Lin. COMPSAC (1), Seite 227-232. IEEE Computer Society, (2005)Model Checking Value-Passing Processes.H. Lin. APSEC, Seite 3-. IEEE Computer Society, (2001)A Predicate Spatial Logic and Model Checking for Mobile Processes.H. Lin. ICTAC, Volume 3407 von Lecture Notes in Computer Science, Seite 36-36. Springer, (2004)