Carlos Baquero

126 papers A* 2A 5B 5C 8Misc 2Journal 58Unranked 44

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Bounding Byzantine Impact in Open CRDT Systems. PaPoC@EuroSys Carlos Baquero, Francisco Maia, Abel Dantas, Antonio Fernández Anta, Davide Frey, César Sánchez, Timothé Albouy
2026	—	`conf`	ConflictSync: Bandwidth Efficient Synchronization of Divergent State. PaPoC@EuroSys Carlos Baquero, Pedro Silva Gomes, Miguel Boaventura Rodrigues
2025	—	`conf`	CRDT-Based Game State Synchronization in Peer-to-Peer VR. PaPoC@EuroSys Abel Dantas, Carlos Baquero
2025	J	`jnl`	CRDT-Based Game State Synchronization in Peer-to-Peer VR. CoRR Abel Dantas, Carlos Baquero
2025	J	`jnl`	ConflictSync: Bandwidth Efficient Synchronization of Divergent State. CoRR Pedro Silva Gomes, Miguel Boaventura Rodrigues, Carlos Baquero
2025	J	`jnl`	Distributed Generalized Linear Models: A Privacy-Preserving Approach. CoRR Daniel Tinoco, Raquel Menezes, Carlos Baquero
2025	J	`jnl`	Distributed Generalized Linear Models: A Privacy-Preserving Approach. Comput. Stat. Daniel Tinoco, Raquel Menezes, Carlos Baquero
2025	J	`jnl`	Rateless Bloom Filters: Set Reconciliation for Divergent Replicas with Variable-Sized Elements. CoRR Pedro Silva Gomes, Carlos Baquero
2025	J	`jnl`	Social Compliance With NPIs, Mobility Patterns, and Reproduction Number: Lessons From COVID-19 in Europe. IEEE Access Daniele Baccega, José Aguilar, Carlos Baquero, Antonio Fernández Anta, Juan Marcos Ramirez
2024	J	`jnl`	Pondering the Ugly Underbelly, and Whether Images Are Real. Commun. ACM Robin K. Hill, Carlos Baquero
2023	J	`jnl`	A Year Embedded in the Crypto-NFT Space. Commun. ACM Carlos Baquero
2023	J	`jnl`	Consistent comparison of symptom-based methods for COVID-19 infection detection. Int. J. Medical Informatics Jesús Rufino, Juan Marcos Ramirez, José Aguilar, Carlos Baquero, Jaya Prakash Champati, Davide Frey, Rosa Elvira Lillo, Antonio Fernández Anta
2023	—	`conf`	Probabilistic Causal Contexts for Scalable CRDTs. PaPoC@EuroSys Pedro Henrique Fernandes, Carlos Baquero
2023	Misc	`conf`	Time-limited Bloom Filter. SAC Ana Rodrigues, Ariel Shtul, Carlos Baquero, Paulo Sérgio Almeida
2023	J	`jnl`	Time-limited Bloom Filter. CoRR Ana Rodrigues, Ariel Shtul, Carlos Baquero, Paulo Sérgio Almeida
2023	J	`jnl`	What Ever Happened to Peer-to-Peer Systems? Commun. ACM Carlos Baquero
2022	J	`jnl`	Is having AI generate text cheating? Commun. ACM Carlos Baquero
2022	J	`jnl`	Picking publication targets. Commun. ACM Carlos Baquero
2022	J	`jnl`	The dynamics of remembering and forgetting. Commun. ACM Carlos Baquero, Rosa Cabecinhas
2021	J	`jnl`	Efficient Replication via Timestamp Stability (Extended Version). CoRR Vitor Enes, Carlos Baquero, Alexey Gotsman, Pierre Sutra
2021	A	`conf`	Efficient replication via timestamp stability. EuroSys Vitor Enes, Carlos Baquero, Alexey Gotsman, Pierre Sutra
2021	J	`jnl`	Estimating Active Cases of COVID-19. CoRR Javier Álvarez, Carlos Baquero, Elisa Cabana, Jaya Prakash Champati, Antonio Fernández Anta, Davide Frey, Augusto García-Agundez, Chryssis Georgiou, Mathieu Goessens, Harold Hernández, Rosa E. Lillo, Raquel Menezes, Raúl Moreno, Nicolas Nicolaou, Oluwasegun Ojo, Antonio Ortega, Jesús Rufino, Efstathios Stavrakis, Govind Jeevan, Christin Glorioso
2021	J	`jnl`	Seeking out Camille, and being open to others. Commun. ACM Robin K. Hill, Carlos Baquero
2021	J	`jnl`	The CoronaSurveys System for COVID-19 Incidence Data Collection and Processing. Frontiers Comput. Sci. Carlos Baquero, Paolo Casari, Antonio Fernández Anta, Amanda García-García, Davide Frey, Augusto Garcia-Agundez, Chryssis Georgiou, Benjamin Girault, Antonio Ortega, Mathieu Goessens, Harold A. Hernández-Roig, Nicolas Nicolaou, Efstathios Stavrakis, Oluwasegun Ojo, Julian C. Roberts, Ignacio Sanchez
2020	J	`jnl`	Age-Partitioned Bloom Filters. CoRR Ariel Shtul, Carlos Baquero, Paulo Sérgio Almeida
2020	J	`jnl`	Causality is Graphically Simple. CoRR Carlos Baquero
2020	J	`jnl`	CoronaSurveys: Using Surveys with Indirect Reporting to Estimate the Incidence and Evolution of Epidemics. CoRR Oluwasegun Ojo, Augusto García-Agundez, Benjamin Girault, Harold Hernández, Elisa Cabana, Amanda García-García, Payman Arabshahi, Carlos Baquero, Paolo Casari, Ednaldo José Ferreira, Davide Frey, Chryssis Georgiou, Mathieu Goessens, Anna Ishchenko, Ernesto Jiménez, Oleksiy Kebkal, Rosa E. Lillo, Raquel Menezes, Nicolas Nicolaou, Antonio Ortega, Paul Patras, Julian C. Roberts, Efstathios Stavrakis, Yuichi Tanaka, Antonio Fernández Anta
2020	J	`jnl`	State-Machine Replication for Planet-Scale Systems (Extended Version). CoRR Vitor Enes, Carlos Baquero, Tuanir França Rezende, Alexey Gotsman, Matthieu Perrin, Pierre Sutra
2020	A	`conf`	State-machine replication for planet-scale systems. EuroSys Vitor Enes, Carlos Baquero, Tuanir França Rezende, Alexey Gotsman, Matthieu Perrin, Pierre Sutra
2019	—	`ch.`	Conflict-Free Replicated Data Types CRDTs. Encyclopedia of Big Data Technologies Nuno M. Preguiça, Carlos Baquero, Marc Shapiro
2019	A*	`conf`	Efficient Synchronization of State-Based CRDTs. ICDE Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero, João Leitão
2019	—	`conf`	Higher-Order Patterns in Replicated Data Types. PaPoC@EuroSys Adriaan Leijnse, Paulo Sérgio Almeida, Carlos Baquero
2019	J	`jnl`	Scalable eventually consistent counters over unreliable networks. Distributed Comput. Paulo Sérgio Almeida, Carlos Baquero
2018	J	`jnl`	Concept design and performance evaluation of UAV-based backhaul link with antenna steering. J. Commun. Networks Jirí Pokorný, Aleksandr Ometov, Pablo Pascual, Carlos Baquero, Pavel Masek, Alexander Pyattaev, Ainoa Garcia, Carlos Castillo, Sergey Andreev, Jiri Hosek, Yevgeni Koucheryavy
2018	J	`jnl`	Conflict-free Replicated Data Types (CRDTs). CoRR Nuno M. Preguiça, Carlos Baquero, Marc Shapiro
2018	J	`jnl`	Delta state replicated data types. J. Parallel Distributed Comput. Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero
2018	J	`jnl`	Efficient Synchronization of State-based CRDTs. CoRR Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero, João Leitão
2018	—	`conf`	Global-Local View: Scalable Consistency for Concurrent Data Types. Euro-Par Deepthi Devaki Akkoorath, José Brandão, Annette Bieniusa, Carlos Baquero
2017	B	`conf`	Aggregation protocols in light of reliable communication. NCA Ziad Kassam, Ali Shoker, Paulo Sérgio Almeida, Carlos Baquero
2017	—	`conf`	As Secure as Possible Eventual Consistency: Work in Progress. PaPoC@EuroSys Ali Shoker, Houssam Yactine, Carlos Baquero
2017	—	`conf`	Borrowing an Identity for a Distributed Counter: Work in progress report. PaPoC@EuroSys Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, João Leitão
2017	—	`conf`	Compact Resettable Counters through Causal Stability. PaPoC@EuroSys Georges Younes, Paulo Sérgio Almeida, Carlos Baquero
2017	J	`jnl`	Composition in State-based Replicated Data Types. Bull. EATCS Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, Carla Ferreira
2017	B	`conf`	DottedDB: Anti-Entropy without Merkle Trees, Deletes without Tombstones. SRDS Ricardo Jorge Tome Goncalves, Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte
2017	J	`jnl`	Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution. Distributed Comput. Paulo Sérgio Almeida, Carlos Baquero, Martin Farach-Colton, Paulo Jesus, Miguel A. Mosteiro
2017	J	`jnl`	Global-Local View: Scalable Consistency for Concurrent Data Types. CoRR Deepthi Devaki Akkoorath, José Brandão, Annette Bieniusa, Carlos Baquero
2017	—	`conf`	Multi-view data types for scalable concurrency in the multi-core era. PMLDC@ECOOP Deepthi Devaki Akkoorath, José Brandão, Annette Bieniusa, Carlos Baquero
2017	J	`jnl`	Practical Evaluation of the Lasp Programming Model at Large Scale - An Experience Report. CoRR Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa
2017	C	`conf`	Practical evaluation of the Lasp programming model at large scale: an experience report. PPDP Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa
2017	J	`jnl`	Pure Operation-Based Replicated Data Types. CoRR Carlos Baquero, Paulo Sérgio Almeida, Ali Shoker
2017	—	`conf`	Quality-Aware Reactive Programming for the Internet of Things. FSEN José Proença, Carlos Baquero
2017	—	`conf`	The Single-Writer Principle in CRDT Composition. PMLDC@ECOOP Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero
2017	—	`conf`	Transparent cross-system consistency. PaPoC@EuroSys João Loff, Daniel Porto, Carlos Baquero, João Garcia, Nuno M. Preguiça, Rodrigo Rodrigues
2016	J	`jnl`	Delta State Replicated Data Types. CoRR Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero
2016	—	`conf`	Eventually consistent register revisited. PaPoC@EuroSys Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno M. Preguiça, Marc Shapiro
2016	—	`conf`	Integration Challenges of Pure Operation-based CRDTs in Redis. PMLDC@ECOOP Georges Younes, Ali Shoker, Paulo Sérgio Almeida, Carlos Baquero
2016	—	`conf`	Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition: Work in progress report. PMLDC@ECOOP Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, Ali Shoker
2016	—	`conf`	Life Beyond Distributed Transactions on the Edge. MECC@Middleware Ali Shoker, Ziad Kassam, Paulo Sérgio Almeida, Carlos Baquero
2016	—	`conf`	The problem with embedded CRDT counters and a solution. PaPoC@EuroSys Carlos Baquero, Paulo Sérgio Almeida, Carl Lerche
2016	J	`jnl`	Why Logical Clocks are Easy. ACM Queue Carlos Baquero, Nuno M. Preguiça
2016	J	`jnl`	Why logical clocks are easy. Commun. ACM Carlos Baquero, Nuno M. Preguiça
2016	—	`conf`	Worlds of Events: Deduction with Partial Knowledge about Causality. ICE Seyed H. Haeri (Hossein), Peter Van Roy, Carlos Baquero, Christopher Meiklejohn
2015	J	`jnl`	A Survey of Distributed Data Aggregation Algorithms. IEEE Commun. Surv. Tutorials Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida
2015	—	`conf`	Adaptive Broadcast Cancellation Query Mechanism for Unstructured Networks. NGMAST Rui Lima, Carlos Baquero, Hugo Miranda
2015	C	`conf`	Concise Server-Wide Causality Management for Eventually Consistent Data Stores. DAIS Ricardo Gonçalves, Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte
2015	—	`conf`	Efficient State-Based CRDTs by Delta-Mutation. NETYS Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero
2015	J	`jnl`	Eventually Consistent Register Revisited. CoRR Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno M. Preguiça, Marc Shapiro
2015	—	`conf`	Exactly-Once Quantity Transfer. SRDS Workshop Ali Shoker, Paulo Sérgio Almeida, Carlos Baquero
2015	J	`jnl`	Flow updating: Fault-tolerant aggregation for dynamic networks. J. Parallel Distributed Comput. Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida
2015	—	`ed.`	Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2015, Bordeaux, France, April 21, 2015 PaPoC@EuroSys Carlos Baquero, Marco Serafini
2014	J	`jnl`	Efficient State-based CRDTs by Delta-Mutation. CoRR Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero
2014	—	`conf`	Efficient state-based CRDTs by decomposition. PaPEC@EuroSys Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero
2014	C	`conf`	Making Operation-Based CRDTs Operation-Based. DAIS Carlos Baquero, Paulo Sérgio Almeida, Ali Shoker
2014	—	`conf`	Making operation-based CRDTs operation-based. PaPEC@EuroSys Carlos Baquero, Paulo Sérgio Almeida, Ali Shoker
2014	C	`conf`	Scalable and Accurate Causality Tracking for Eventually Consistent Stores. DAIS Paulo Sérgio Almeida, Carlos Baquero, Ricardo Gonçalves, Nuno M. Preguiça, Victor Fonte
2014	—	`conf`	SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine. SRDS Workshops Nuno M. Preguiça, Marek Zawirski, Annette Bieniusa, Sérgio Duarte, Valter Balegas, Carlos Baquero, Marc Shapiro
2013	Misc	`conf`	Broadcast cancellation in search mechanisms. SAC Rui Lima, Carlos Baquero, Hugo Miranda
2013	—	`conf`	Collaborative and Privacy-Aware Sensing for Observing Urban Movement Patterns. DPM/SETOP Nelson Gonçalves, Rui José, Carlos Baquero
2013	—	`conf`	Fast distributed estimation of empirical mass functions over anonymous networks. CDC Håkan Terelius, Damiano Varagnolo, Carlos Baquero, Karl Henrik Johansson
2013	J	`jnl`	Genetic Algorithm with a Local Search Strategy for Discovering Communities in Complex Networks CoRR Dayou Liu, Di Jin, Carlos Baquero, Dongxiao He, Bo Yang, Qiangyuan Yu
2013	J	`jnl`	Genetic Algorithm with a Local Search Strategy for Discovering Communities in Complex Networks. Int. J. Comput. Intell. Syst. Dayou Liu, Di Jin, Carlos Baquero, Dongxiao He, Bo Yang, Qiangyuan Yu
2013	J	`jnl`	Markov random walk under constraint for discovering overlapping communities in complex networks CoRR Di Jin, Bo Yang, Carlos Baquero, Dayou Liu, Dongxiao He, Jie Liu
2013	J	`jnl`	Scalable Eventually Consistent Counters over Unreliable Networks. CoRR Paulo Sérgio Almeida, Carlos Baquero
2013	J	`jnl`	SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine. CoRR Marek Zawirski, Annette Bieniusa, Valter Balegas, Sérgio Duarte, Carlos Baquero, Marc Shapiro, Nuno M. Preguiça
2013	—	`conf`	Topic 8: Distributed Systems and Algorithms - (Introduction). Euro-Par Achour Mostéfaoui, Andreas Polze, Carlos Baquero, Paul D. Ezhilchelvan, Lars Lundberg
2012	J	`jnl`	An optimized conflict-free replicated set CoRR Annette Bieniusa, Marek Zawirski, Nuno M. Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas, Sérgio Duarte
2012	A	`conf`	Brief Announcement: Semantics of Eventually Consistent Replicated Sets. DISC Annette Bieniusa, Marek Zawirski, Nuno M. Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas, Sérgio Duarte
2012	A*	`conf`	Brief announcement: efficient causality tracking in distributed storage systems with dotted version vectors. PODC Nuno M. Preguiça, Carlos Baquero, Paulo Sérgio Almeida, Victor Fonte, Ricardo Gonçalves
2012	J	`jnl`	Extrema Propagation: Fast Distributed Estimation of Sums and Network Sizes. IEEE Trans. Parallel Distributed Syst. Carlos Baquero, Paulo Sérgio Almeida, Raquel Menezes, Paulo Jesus
2012	—	`conf`	Fast distributed computation of distances in networks. CDC Paulo Sérgio Almeida, Carlos Baquero, Alcino Cunha
2012	J	`jnl`	Spectra: Robust Estimation of Distribution Functions in Networks CoRR Miguel Borges, Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida
2012	C	`conf`	Spectra: Robust Estimation of Distribution Functions in Networks. DAIS Miguel Borges, Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida
2012	—	`conf`	Stopping ongoing broadcasts in large MANETs. ARMOR Rui Lima, Carlos Baquero, Hugo Miranda
2011	J	`jnl`	A Survey of Distributed Data Aggregation Algorithms CoRR Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida
2011	—	`conf`	Ant Colony Optimization with Markov Random Walk for Community Detection in Graphs. PAKDD (2) Di Jin, Dayou Liu, Bo Yang, Carlos Baquero, Dongxiao He
2011	C	`conf`	Conflict-Free Replicated Data Types. SSS Marc Shapiro, Nuno M. Preguiça, Carlos Baquero, Marek Zawirski
2011	J	`jnl`	Convergent and Commutative Replicated Data Types. Bull. EATCS Marc Shapiro, Nuno M. Preguiça, Carlos Baquero, Marek Zawirski
2011	J	`jnl`	Fast Distributed Computation of Distances in Networks CoRR Paulo Sérgio Almeida, Carlos Baquero, Alcino Cunha
2011	J	`jnl`	Fault-Tolerant Aggregation: Flow-Updating Meets Mass-Distribution CoRR Paulo Sérgio Almeida, Carlos Baquero, Martin Farach-Colton, Paulo Jesus, Miguel A. Mosteiro
2011	B	`conf`	Fault-Tolerant Aggregation: Flow-Updating Meets Mass-Distribution. OPODIS Paulo Sérgio Almeida, Carlos Baquero, Martin Farach-Colton, Paulo Jesus, Miguel A. Mosteiro
2011	—	`conf`	Logic Training through Algorithmic Problem Solving. TICTTL João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira
2011	—	`conf`	Privacy Preserving Gate Counting with Collaborative Bluetooth Scanners. OTM Workshops Nelson Gonçalves, Rui José, Carlos Baquero
2010	J	`jnl`	Dependability in Aggregation by Averaging CoRR Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida
2010	J	`jnl`	Dotted Version Vectors: Logical Clocks for Optimistic Replication CoRR Nuno M. Preguiça, Carlos Baquero, Paulo Sérgio Almeida, Victor Fonte, Ricardo Gonçalves
2010	B	`conf`	Fault-Tolerant Aggregation for Dynamic Networks. SRDS Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida
2010	—	`conf`	Genetic Algorithm with Local Search for Community Mining in Complex Networks. ICTAI (1) Di Jin, Dongxiao He, Dayou Liu, Carlos Baquero
2009	—	`conf`	Fast Estimation of Aggregates in Unstructured Networks. ICAS Carlos Baquero, Paulo Sérgio Almeida, Raquel Menezes
2009	C	`conf`	Fault-Tolerant Aggregation by Flow Updating. DAIS Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida
2009	—	`conf`	Forby: Providing Groupware Features Relying on Distributed File System Event Dissemination. CRIWG Pedro Sousa, Nuno M. Preguiça, Carlos Baquero
2009	—	`conf`	Probabilistic Estimation of Network Size and Diameter. LADC Jorge C. S. Cardoso, Carlos Baquero, Paulo Sérgio Almeida
2009	C	`conf`	Search Optimizations in Structured Peer-to-Peer Systems. WETICE Nuno Lopes, Carlos Baquero
2008	B	`conf`	Interval Tree Clocks. OPODIS Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte
2007	—	`conf`	Implementing Range Queries with a Decentralized Balanced Tree over Distributed Hash Tables. NBiS Nuno Lopes, Carlos Baquero
2007	—	`conf`	Improving on Version Stamps. OTM Workshops (2) Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte
2007	J	`jnl`	Scalable Bloom Filters. Inf. Process. Lett. Paulo Sérgio Almeida, Carlos Baquero, Nuno M. Preguiça, David Hutchison
2004	A	`conf`	Bounded Version Vectors. DISC José Bacelar Almeida, Paulo Sérgio Almeida, Carlos Baquero
2003	J	`jnl`	Towards peer-to-peer content indexing. ACM SIGOPS Oper. Syst. Rev. Carlos Baquero, Nuno Lopes
2002	A	`conf`	Version Stamps - Decentralized Version Vectors. ICDCS Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte
2000	—	`conf`	Mobile Transaction Management in Mobisnap. ADBIS-DASFAA Nuno M. Preguiça, Carlos Baquero, Francisco Moura, José Legatheaux Martins, Rui Oliveira, Henrique João L. Domingos, José Orlando Pereira, Sérgio Duarte
2000	—	`conf`	Panasync: dependency tracking among file copies. ACM SIGOPS European Workshop Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte
1999	—	`conf`	Poster Session. ECOOP Workshops Carlos Baquero
1999	J	`jnl`	Using Structural Characteristics for Autonomous Operation. ACM SIGOPS Oper. Syst. Rev. Carlos Baquero, Francisco Moura
1998	—	`conf`	3rd Workshop on Mobility and Replication. ECOOP Workshops Birger Andersen, Carlos Baquero, Niels Christian Juul
1998	J	`jnl`	Improving causality logging in mobile computing networks. ACM SIGMOBILE Mob. Comput. Commun. Rev. Carlos Baquero, Francisco Moura
1995	—	`conf`	Integration of Concurrency Control in a Language with Subtyping and Subclassing. COOTS Carlos Baquero, Rui Oliveira, Francisco Moura
1994	J	`jnl`	Concurrency Annotations in C++. ACM SIGPLAN Notices Carlos Baquero, Francisco Moura