Álvaro García-Pérez

From MaRDI portal
Person:2324014

Available identifiers

zbMath Open garcia-perez.alvaroMaRDI QIDQ2324014

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q58742312023-02-07Paper
https://portal.mardi4nfdi.de/entity/Q50910912022-07-21Paper
Coverability Synthesis in Parametric Petri Nets2020-05-27Paper
https://portal.mardi4nfdi.de/entity/Q49727332019-11-26Paper
The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus2019-11-22Paper
Paxos consensus, deconstructed and abstracted2019-09-13Paper
A unified rule format for bounded nondeterminism in SOS with terms as labels2017-09-12Paper
No solvable lambda-value term left behind2016-07-06Paper
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics2016-03-23Paper

Research outcomes over time

This page was built for person: Álvaro García-Pérez

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2324014&oldid=7325250"
Powered by MediaWiki