Вы здесь

Cridlig R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking 1995 Cridlig R. Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation 13.08.1997
СТ Implementing a Static Analyzer of Concurrent Programs: Problems and Perspectives 1997 Cridlig R. Lecture Notes in Computer Science 20.02.1997
СТ Semantics and Analysis of Linda-based languages 1993 Cridlig R., Goubault E. Lecture Notes in Computer Science 11.12.1993