-
1
المؤلفون: Salgado, Pedro Miguel Silva Ribeiro
المساهمون: Ravara, António, Paulino, Hervé, Pereira, Mário, RUN
مصطلحات موضوعية: Data-centric Concurrency, Control-centric Concurrency, Deadlock-freedom, Serialization, Formal Verification, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
وصف الملف: application/pdf
الاتاحة: http://hdl.handle.net/10362/165842
-
2
المؤلفون: Fragoso, André Gonçalves
المساهمون: Paulino, Hervé, RUN
مصطلحات موضوعية: replicated systems, consistency levels, data-centric concurrency control, language interpretation, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
وصف الملف: application/pdf
الاتاحة: http://hdl.handle.net/10362/93771