Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pablo Boronat
A Transformation to Provide Deadlock-Free Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Lightweight Deadlock Analysis for Programs With Threads and Reentrant Locks
Science of Computer Programming
Software
A Lightweight Deadlock Analysis for Programs With Threads and Reentrant Locks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Biomass Transformation Webs Provide a Unified Approach to Consumer-Resource Modelling
Ecology Letters
Evolution
Ecology
Systematics
Behavior
Deadlock-Free Message Routing in Multiprocessor Interconnection Networks
IEEE Transactions on Computers
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Software
Deadlock-Free Multicasting in Irregular Networks Using Prefix Routing
Journal of Supercomputing
Hardware
Information Systems
Theoretical Computer Science
Architecture
Software
A Fast and Verified Algorithm for Proving Store-And-Forward Networks Deadlock-Free
Complete Heterogeneous Self-Reconfiguration: Deadlock Avoidance Using Hole-Free Assemblies
IFAC Proceedings Volumes
Deadlock-Free Discrete Controller Synthesis for Infinite State Systems
Programs Provide a History Lesson--Blacks and Women in Science
Science
Multidisciplinary
Philosophy of Science
History
