WorldCat Identities

Pérez, Jorge A.

Overview
Works: 9 works in 21 publications in 2 languages and 280 library holdings
Genres: Conference papers and proceedings  Criticism, interpretation, etc  Academic theses 
Roles: Editor, htt, Contributor, Author, Other
Classifications: QA76.758, 004.36
Publication Timeline
.
Most widely held works by Jorge A Pérez
Formal techniques for distributed objects, components, and systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings by FORTE( )

10 editions published in 2019 in English and held by 266 WorldCat member libraries worldwide

This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 15 full and 3 short papers presented were carefully reviewed and selected from 42 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems
Effects of student-generated problems on problem solving performance by Jorge A Pérez( )

4 editions published between 1985 and 1986 in English and held by 3 WorldCat member libraries worldwide

Event-based run-time adaptation in communication-centric systems by Cinzia Di Giusto( )

1 edition published in 2016 in English and held by 2 WorldCat member libraries worldwide

Dynamic role authorization in multiparty conversations by Silvia Ghilezan( )

1 edition published in 2016 in English and held by 2 WorldCat member libraries worldwide

Characteristic bisimulation for higher-order session processes by Dimitrios Kouzapas( )

1 edition published in 2017 in English and held by 2 WorldCat member libraries worldwide

Self-adaptation and secure information flow in multiparty communications by Ilaria Castellani( )

1 edition published in 2016 in English and held by 2 WorldCat member libraries worldwide

Production systems, technical parameters and quality of bovine milk producers in southern Chile by Jorge A Pérez( )

in English and held by 1 WorldCat member library worldwide

"El amor resucitado" / "Amor y filosofía" : (ensayo) by Jorge A Pérez( Book )

1 edition published in 2006 in Spanish and held by 1 WorldCat member library worldwide

Formal Techniques for Distributed Objects, Components, and Systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17{u2013}21, 2019, Proceedings( Book )

1 edition published in 2019 in English and held by 1 WorldCat member library worldwide

This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 15 full and 3 short papers presented were carefully reviewed and selected from 42 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems
 
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for Formal tec ... to 0.00 for Formal tec ...)

Formal techniques for distributed objects, components, and systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings
Covers
Alternative Names
Pérez Pérez, Jorge Antonio

Languages