Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Yolanda Ortega-Mallén
@article{DBLP:journals/corr/abs-2402-00982,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Yolanda Ortega{-}Mall{\'{e}}n},
title = {Rule Formats for Nominal Process Calculi},
journal = {CoRR},
volume = {abs/2402.00982},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.00982},
doi = {10.48550/ARXIV.2402.00982},
eprinttype = {arXiv},
eprint = {2402.00982},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00982.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AcetoFGIO19,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Yolanda Ortega{-}Mall{\'{e}}n},
title = {Rule Formats for Nominal Process Calculi},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {4},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(4:2)2019},
doi = {10.23638/LMCS-15(4:2)2019},
timestamp = {Sat, 07 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/AcetoFGIO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-02081,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Yolanda Ortega{-}Mall{\'{e}}n},
title = {Rule Formats for Nominal Process Calculi},
journal = {CoRR},
volume = {abs/1807.02081},
year = {2018},
url = {http://arxiv.org/abs/1807.02081},
eprinttype = {arXiv},
eprint = {1807.02081},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-02081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AcetoFGIO17,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Yolanda Ortega{-}Mall{\'{e}}n},
editor = {Roland Meyer and
Uwe Nestmann},
title = {Rule Formats for Nominal Process Calculi},
booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
September 5-8, 2017, Berlin, Germany},
series = {LIPIcs},
volume = {85},
pages = {10:1--10:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.10},
doi = {10.4230/LIPICS.CONCUR.2017.10},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/AcetoFGIO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Sanchez-GilHO14,
author = {Lidia S{\'{a}}nchez{-}Gil and
Mercedes Hidalgo{-}Herrero and
Yolanda Ortega{-}Mall{\'{e}}n},
editor = {Andrei Voronkov and
Irina B. Virbitskaite},
title = {The Role of Indirections in Lazy Natural Semantics},
booktitle = {Perspectives of System Informatics - 9th International Ershov Informatics
Conference, {PSI} 2014, St. Petersburg, Russia, June 24-27, 2014.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8974},
pages = {288--303},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-46823-4\_24},
doi = {10.1007/978-3-662-46823-4\_24},
timestamp = {Mon, 16 Dec 2019 13:26:25 +0100},
biburl = {https://dblp.org/rec/conf/ershov/Sanchez-GilHO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Sanchez-GilHO12,
author = {Lidia S{\'{a}}nchez{-}Gil and
Mercedes Hidalgo{-}Herrero and
Yolanda Ortega{-}Mall{\'{e}}n},
editor = {Abhik Roychoudhury and
Meenakshi D'Souza},
title = {A Locally Nameless Representation for a Natural Semantics for Lazy
Evaluation},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2012 - 9th International
Colloquium, Bangalore, India, September 24-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7521},
pages = {105--119},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32943-2\_8},
doi = {10.1007/978-3-642-32943-2\_8},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Sanchez-GilHO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Sanchez-GilHO11,
author = {Lidia S{\'{a}}nchez{-}Gil and
Mercedes Hidalgo{-}Herrero and
Yolanda Ortega{-}Mall{\'{e}}n},
editor = {William C. Chu and
W. Eric Wong and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {Relating function spaces to resourced function spaces},
booktitle = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
TaiChung, Taiwan, March 21 - 24, 2011},
pages = {1301--1308},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1982185.1982469},
doi = {10.1145/1982185.1982469},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/Sanchez-GilHO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Sanchez-GilHO09,
author = {Lidia S{\'{a}}nchez{-}Gil and
Mercedes Hidalgo{-}Herrero and
Yolanda Ortega{-}Mall{\'{e}}n},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Peter Achten and
Pieter W. M. Koopman},
title = {An Operational Semantics for Distributed Lazy Evaluation},
booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming,
{TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009},
series = {Trends in Functional Programming},
volume = {10},
pages = {65--80},
publisher = {Intellect},
year = {2009},
timestamp = {Tue, 04 Jun 2013 08:01:28 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Sanchez-GilHO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hidalgo-HerreroO09,
author = {Mercedes Hidalgo{-}Herrero and
Yolanda Ortega{-}Mall{\'{e}}n},
editor = {Paqui Lucio and
Gin{\'{e}}s Moreno and
Ricardo Pe{\~{n}}a},
title = {To be or not to be ...lazy (In a Parallel Context)},
booktitle = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
{PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {258},
number = {1},
pages = {21--39},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.003},
doi = {10.1016/J.ENTCS.2009.12.003},
timestamp = {Fri, 24 Feb 2023 15:47:39 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Hidalgo-HerreroO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/Hidalgo-HerreroOR06,
author = {Mercedes Hidalgo{-}Herrero and
Yolanda Ortega{-}Mall{\'{e}}n and
Fernando Rubio},
title = {Analyzing the influence of mixed evaluation on the performance of
Eden skeletons},
journal = {Parallel Comput.},
volume = {32},
number = {7-8},
pages = {523--538},
year = {2006},
url = {https://doi.org/10.1016/j.parco.2006.08.006},
doi = {10.1016/J.PARCO.2006.08.006},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pc/Hidalgo-HerreroOR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Hidalgo-HerreroOR06,
author = {Mercedes Hidalgo{-}Herrero and
Yolanda Ortega{-}Mall{\'{e}}n and
Fernando Rubio},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Andrew Butterfield},
title = {Comparing Alternative Evaluation Strategies for Stream-Based Parallel
Functional Languages},
booktitle = {Implementation and Application of Functional Languages, 18th International
Symp osium, {IFL} 2006, Budapest, Hungary, September 4-6, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4449},
pages = {55--72},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74130-5\_4},
doi = {10.1007/978-3-540-74130-5\_4},
timestamp = {Mon, 03 Jan 2022 22:26:06 +0100},
biburl = {https://dblp.org/rec/conf/ifl/Hidalgo-HerreroOR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hidalgo-HerreroVO07,
author = {Mercedes Hidalgo{-}Herrero and
Alberto Verdejo and
Yolanda Ortega{-}Mall{\'{e}}n},
editor = {Sergio Antoy},
title = {Using Maude and Its Strategies for Defining a Framework for Analyzing
Eden Semantics},
booktitle = {Proceedings of the Sixth International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August
11, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {10},
pages = {119--137},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.02.051},
doi = {10.1016/J.ENTCS.2007.02.051},
timestamp = {Fri, 27 Jan 2023 14:38:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Hidalgo-HerreroVO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/LoogenOP05,
author = {Rita Loogen and
Yolanda Ortega{-}Mall{\'{e}}n and
Ricardo Pe{\~{n}}a{-}Mar{\'{\i}}},
title = {Parallel functional programming in Eden},
journal = {J. Funct. Program.},
volume = {15},
number = {3},
pages = {431--475},
year = {2005},
url = {https://doi.org/10.1017/S0956796805005526},
doi = {10.1017/S0956796805005526},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/LoogenOP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/Hidalgo-HerreroOR05,
author = {Mercedes Hidalgo{-}Herrero and
Yolanda Ortega{-}Mall{\'{e}}n and
Fernando Rubio},
editor = {Gerhard R. Joubert and
Wolfgang E. Nagel and
Frans J. Peters and
Oscar G. Plata and
P. Tirado and
Emilio L. Zapata},
title = {Towards Improving Skeletons in Eden},
booktitle = {Parallel Computing: Current {\&} Future Issues of High-End Computing,
Proceedings of the International Conference ParCo 2005, 13-16 September
2005, Department of Computer Architecture, University of Malaga, Spain},
series = {John von Neumann Institute for Computing Series},
volume = {33},
pages = {843--850},
publisher = {Central Institute for Applied Mathematics, J{\"{u}}lich, Germany},
year = {2005},
timestamp = {Thu, 09 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/parco/Hidalgo-HerreroOR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hidalgo-HerreroO05,
author = {Mercedes Hidalgo{-}Herrero and
Yolanda Ortega{-}Mall{\'{e}}n},
editor = {Salvador Lucas},
title = {Dealing Denotationally With Stream-based Communication},
booktitle = {Proceedings of the Fourth Spanish Conference on Programming and Computer
Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {1},
pages = {47--68},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.039},
doi = {10.1016/J.ENTCS.2005.01.039},
timestamp = {Mon, 12 Dec 2022 16:37:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Hidalgo-HerreroO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Hidalgo-HerreroO03,
author = {Mercedes Hidalgo{-}Herrero and
Yolanda Ortega{-}Mall{\'{e}}n},
editor = {Atsushi Ohori},
title = {Continutation Semantics for Parallel Haskell Dialects},
booktitle = {Programming Languages and Systems, First Asian Symposium, {APLAS}
2003, Beijing, China, November 27-29, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2895},
pages = {303--321},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40018-9\_20},
doi = {10.1007/978-3-540-40018-9\_20},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Hidalgo-HerreroO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/03/LoogenOPP003,
author = {Rita Loogen and
Yolanda Ortega{-}Mall{\'{e}}n and
Ricardo Pe{\~{n}}a and
Steffen Priebe and
Fernando Rubio},
editor = {Fethi A. Rabhi and
Sergei Gorlatch},
title = {Parallelism Abstractions in Eden},
booktitle = {Patterns and Skeletons for Parallel and Distributed Computing},
pages = {95--128},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-1-4471-0097-3\_4},
doi = {10.1007/978-1-4471-0097-3\_4},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/03/LoogenOPP003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/Hidalgo-HerreroO02,
author = {Mercedes Hidalgo{-}Herrero and
Yolanda Ortega{-}Mall{\'{e}}n},
title = {An Operational Semantics for the Parallel Language Eden},
journal = {Parallel Process. Lett.},
volume = {12},
number = {2},
pages = {211--228},
year = {2002},
url = {https://doi.org/10.1142/S0129626402000938},
doi = {10.1142/S0129626402000938},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/Hidalgo-HerreroO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Hidalgo-HerreroO00,
author = {Mercedes Hidalgo{-}Herrero and
Yolanda Ortega{-}Mall{\'{e}}n},
editor = {Stephen Gilmore},
title = {A distributed operational semantics for a parallel functional language},
booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop
(SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
series = {Trends in Functional Programming},
volume = {2},
pages = {89--102},
publisher = {Intellect},
year = {2000},
timestamp = {Wed, 22 Jan 2003 13:23:23 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Hidalgo-HerreroO00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/KlusikOP98,
author = {Ulrike Klusik and
Yolanda Ortega{-}Mall{\'{e}}n and
Ricardo Pena},
editor = {Kevin Hammond and
Antony J. T. Davie and
Chris Clack},
title = {Implementing Eden - or: Dreams Become Reality},
booktitle = {Implementation of Functional Languages, 10th International Workshop,
IFL'98, London, UK, September 9-11, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1595},
pages = {103--119},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48515-5\_7},
doi = {10.1007/3-540-48515-5\_7},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/KlusikOP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BreitingerLOP97,
author = {Silvia Breitinger and
Rita Loogen and
Yolanda Ortega{-}Mall{\'{e}}n and
Ricardo Pe{\~{n}}a{-}Mar{\'{\i}}},
editor = {Moreno Falaschi and
Marisa Navarro and
Alberto Policriti},
title = {High-level Parallel and Concurrent Programming in Eden},
booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97,
Grado, Italy, June 16-19, 1997},
pages = {213--224},
year = {1997},
timestamp = {Thu, 02 Dec 2004 11:23:16 +0100},
biburl = {https://dblp.org/rec/conf/agp/BreitingerLOP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hips/BreitingerLOP97,
author = {Silvia Breitinger and
Rita Loogen and
Yolanda Ortega{-}Mall{\'{e}}n and
Ricardo Pena},
title = {The Eden Coordination Model for Distributed Memory Systems},
booktitle = {1997 Workshop on High-Level Programming Models and Supportive Environments
{(HIPS} '97), 1 April 1997, Geneva, Switzerland},
pages = {120--124},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/HIPS.1997.582964},
doi = {10.1109/HIPS.1997.582964},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hips/BreitingerLOP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/BreitingerKLOP97,
author = {Silvia Breitinger and
Ulrike Klusik and
Rita Loogen and
Yolanda Ortega{-}Mall{\'{e}}n and
Ricardo Pena},
editor = {Chris Clack and
Kevin Hammond and
Antony J. T. Davie},
title = {{DREAM:} The DistRibuted Eden Abstract Machine},
booktitle = {Implementation of Functional Languages, 9th International Workshop,
IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1467},
pages = {250--269},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0055435},
doi = {10.1007/BFB0055435},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/BreitingerKLOP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/BreitingerLOP96,
author = {Silvia Breitinger and
Rita Loogen and
Yolanda Ortega{-}Mall{\'{e}}n and
Ricardo Pe{\~{n}}a{-}Mar{\'{\i}}},
editor = {Luc Boug{\'{e}} and
Pierre Fraigniaud and
Anne Mignotte and
Yves Robert},
title = {Eden - The Paradise of Functional Concurrent Programming},
booktitle = {Euro-Par '96 Parallel Processing, Second International Euro-Par Conference,
Lyon, France, August 26-29, 1996, Proceedings, Volume {I}},
series = {Lecture Notes in Computer Science},
volume = {1123},
pages = {710--713},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61626-8\_93},
doi = {10.1007/3-540-61626-8\_93},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/BreitingerLOP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BohlmannLO94,
author = {K. Bohlmann and
Rita Loogen and
Yolanda Ortega{-}Mall{\'{e}}n},
editor = {Mar{\'{\i}}a Alpuente and
Roberto Barbuti and
Isidro Ramos},
title = {Towards a Functional Process Calculus},
booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola,
Spain, September 19-22, 1994, Volume 1},
pages = {234--250},
year = {1994},
timestamp = {Wed, 01 Dec 2004 15:33:38 +0100},
biburl = {https://dblp.org/rec/conf/agp/BohlmannLO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Ortega-Mallen92,
author = {Yolanda Ortega{-}Mall{\'{e}}n},
editor = {Jan Vytopil},
title = {Operational Semantics for Timed Observations},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {507--527},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_28},
doi = {10.1007/3-540-55092-5\_28},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Ortega-Mallen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Ortega-MallenF91,
author = {Yolanda Ortega{-}Mall{\'{e}}n and
David de Frutos{-}Escrig},
editor = {Samson Abramsky and
T. S. E. Maibaum},
title = {A Complete Proof System for Timed Observations},
booktitle = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Brighton, UK, April 8-12, 1991,
Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91)},
series = {Lecture Notes in Computer Science},
volume = {493},
pages = {412--440},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53982-4\_23},
doi = {10.1007/3-540-53982-4\_23},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Ortega-MallenF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BolognesiFO90,
author = {Tommaso Bolognesi and
David de Frutos{-}Escrig and
Yolanda Ortega{-}Mall{\'{e}}n},
editor = {Juan Quemada and
Jos{\'{e}} A. Ma{\~{n}}as and
Enrique V{\'{a}}zquez},
title = {Graphical Composition Theorems for Parallel and Hiding Operators},
booktitle = {Formal Description Techniques, III, Proceedings of the {IFIP} {TC6/WG6.1}
Third International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '90, Madrid,
Spain, 5-8 November 1990},
pages = {459--470},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/BolognesiFO90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/Ortega-MallenF90,
author = {Yolanda Ortega{-}Mall{\'{e}}n and
David de Frutos{-}Escrig},
editor = {Manfred Broy and
Cliff B. Jones},
title = {Timed Observations: {A} Semantic Model for Real-Time Concurrency},
booktitle = {Programming concepts and methods: Proceedings of the {IFIP} Working
Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
Sea of Galilee, Israel, 2-5 April, 1990},
pages = {125--154},
publisher = {North-Holland},
year = {1990},
timestamp = {Sat, 26 Dec 2020 18:17:05 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/Ortega-MallenF90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-10 23:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
