Antonio Flores-Montoya

Available identifiers

zbMath Open flores-montoya.antonioMaRDI QIDQ1990481

List of research outcomes

Publication	Date of Publication	Type
May-happen-in-parallel analysis with condition synchronization	2018-10-25	Paper
Rely-guarantee termination and cost analyses of loops with concurrent interleavings	2017-08-15	Paper
May-Happen-in-Parallel Analysis for Actor-Based Concurrency	2017-07-12	Paper
Resource Analysis of Complex Programs with Cost Equations	2016-02-26	Paper
Analysis of Executable Software Models	2015-02-25	Paper
Termination and Cost Analysis of Loops with Concurrent Interleavings	2014-07-08	Paper

Research outcomes over time

This page was built for person: Antonio Flores-Montoya