( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes.

, , и . ARTS, том 1231 из Lecture Notes in Computer Science, стр. 263-279. Springer, (1997)

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.

Xavier Bertrán

Beate Miquel

Miquel Marqués

Joan Miquel

Miquel Bemmelen

 

Другие публикации лиц с тем же именем

An environment for DSP system development with extended abstract types, and dimensional design (PADDE)., , , , , , , , , и 2 other автор(ы). ICASSP (1), стр. 449-452. IEEE Computer Society, (1993)Performance Analysis of Speculative Concurrency Control Algorithms based on Wait Depth Limited for Distributed Database Systems., , , и . ISPDC, стр. 64-71. IEEE Computer Society, (2003)Optimistic concurrency control with partial replication design., , , и . IADIS AC (2), стр. 181-186. IADIS Press, (2009)Formal Sequentialization of Distributed Systems via Program Rewriting., , и . PROLE, том 188 из Electronic Notes in Theoretical Computer Science, стр. 53-75. Elsevier, (2006)Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs., , , и . SAS, том 2126 из Lecture Notes in Computer Science, стр. 20-39. Springer, (2001)Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes., , и . ARTS, том 1231 из Lecture Notes in Computer Science, стр. 263-279. Springer, (1997)An Input/Output Semantics for Distributed Program Equivalence Reasoning., , и . PROLE, том 137 из Electronic Notes in Theoretical Computer Science, стр. 25-46. Elsevier, (2004)A Static Communication Elimination Algorithm for Distributed System Verification., , и . ICFEM, том 3785 из Lecture Notes in Computer Science, стр. 375-389. Springer, (2005)A Transformation of Monitor into Communication Synchronized Parallel Processes: A Systematic Refinement Step in Design.. ARTS, том 1231 из Lecture Notes in Computer Science, стр. 199-215. Springer, (1997)The Formal Definition of Human/Machine Communications., , и . Softw. Pract. Exp., 8 (1): 51-58 (1978)