Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/fac/fac27.bht:"
download as .bib file
@article{DBLP:journals/fac/Al-BatainehRF15,
author = {Omar I. Al{-}Bataineh and
Mark Reynolds and
Tim French},
title = {Accelerating worst case execution time analysis of timed automata
models with cyclic behaviour},
journal = {Formal Aspects Comput.},
volume = {27},
number = {5-6},
pages = {917--949},
year = {2015},
url = {https://doi.org/10.1007/s00165-015-0340-4},
doi = {10.1007/S00165-015-0340-4},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Al-BatainehRF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AlbertFPR15,
author = {Elvira Albert and
Jes{\'{u}}s Correas Fern{\'{a}}ndez and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
title = {Quantified abstract configurations of distributed systems},
journal = {Formal Aspects Comput.},
volume = {27},
number = {4},
pages = {665--699},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0321-z},
doi = {10.1007/S00165-014-0321-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AlbertFPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BonakdarpourK15,
author = {Borzoo Bonakdarpour and
Sandeep S. Kulkarni},
title = {Synthesizing bounded-time 2-phase fault recovery},
journal = {Formal Aspects Comput.},
volume = {27},
number = {1},
pages = {1--31},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0325-8},
doi = {10.1007/S00165-014-0325-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BonakdarpourK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BounebSI15,
author = {Messaouda Bouneb and
Djamel{-}Eddine Sa{\"{\i}}douni and
Jean{-}Michel Ili{\'{e}}},
title = {A reduced maximality labeled transition system generation for recursive
Petri nets},
journal = {Formal Aspects Comput.},
volume = {27},
number = {5-6},
pages = {951--973},
year = {2015},
url = {https://doi.org/10.1007/s00165-015-0341-3},
doi = {10.1007/S00165-015-0341-3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BounebSI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ButlerJP15,
author = {Michael J. Butler and
Einar Broch Johnsen and
Luigia Petre},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {27},
number = {4},
pages = {611--612},
year = {2015},
url = {https://doi.org/10.1007/s00165-015-0338-y},
doi = {10.1007/S00165-015-0338-Y},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ButlerJP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CastroAPM15,
author = {Pablo F. Castro and
Nazareno Aguirre and
Carlos L{\'{o}}pez Pombo and
T. S. E. Maibaum},
title = {Categorical foundations for structured specifications in {Z}},
journal = {Formal Aspects Comput.},
volume = {27},
number = {5-6},
pages = {831--865},
year = {2015},
url = {https://doi.org/10.1007/s00165-015-0336-0},
doi = {10.1007/S00165-015-0336-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CastroAPM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ChengWD15,
author = {Shu Cheng and
Jim Woodcock and
Deepak D'Souza},
title = {Using formal reasoning on a model of tasks for FreeRTOS},
journal = {Formal Aspects Comput.},
volume = {27},
number = {1},
pages = {167--192},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0308-9},
doi = {10.1007/S00165-014-0308-9},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/ChengWD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CiobanuKS15,
author = {Gabriel Ciobanu and
Maciej Koutny and
L. Jason Steggles},
title = {Strategy based semantics for mobility with time and access permissions},
journal = {Formal Aspects Comput.},
volume = {27},
number = {3},
pages = {525--549},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0324-9},
doi = {10.1007/S00165-014-0324-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CiobanuKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DabaghchianA15,
author = {Maryam Dabaghchian and
Mohammad Abdollahi Azgomi},
title = {Model checking the observational determinism security property using
{PROMELA} and {SPIN}},
journal = {Formal Aspects Comput.},
volume = {27},
number = {5-6},
pages = {789--804},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0331-x},
doi = {10.1007/S00165-014-0331-X},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DabaghchianA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DinO15,
author = {Crystal Chang Din and
Olaf Owe},
title = {Compositional reasoning about active objects with shared futures},
journal = {Formal Aspects Comput.},
volume = {27},
number = {3},
pages = {551--572},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0322-y},
doi = {10.1007/S00165-014-0322-Y},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DinO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/EleftherakisBH15,
author = {George Eleftherakis and
Michael J. Butler and
Mike Hinchey},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {27},
number = {3},
pages = {473},
year = {2015},
url = {https://doi.org/10.1007/s00165-015-0335-1},
doi = {10.1007/S00165-015-0335-1},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/EleftherakisBH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ElleuchHTA15,
author = {Maissa Elleuch and
Osman Hasan and
Sofi{\`{e}}ne Tahar and
Mohamed Abid},
title = {Formal probabilistic analysis of detection properties in wireless
sensor networks},
journal = {Formal Aspects Comput.},
volume = {27},
number = {1},
pages = {79--102},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0304-0},
doi = {10.1007/S00165-014-0304-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ElleuchHTA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/FathabadiBR15,
author = {Asieh Salehi Fathabadi and
Michael J. Butler and
Abdolbaghi Rezazadeh},
title = {Language and tool support for event refinement structures in Event-B},
journal = {Formal Aspects Comput.},
volume = {27},
number = {3},
pages = {499--523},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0311-1},
doi = {10.1007/S00165-014-0311-1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/FathabadiBR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Jones15,
author = {Cliff B. Jones},
title = {In memoriam: Professor Heinz Zemanek {(1920-2014)}},
journal = {Formal Aspects Comput.},
volume = {27},
number = {2},
pages = {237},
year = {2015},
url = {https://doi.org/10.1007/s00165-015-0332-4},
doi = {10.1007/S00165-015-0332-4},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Jones15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/JonesHC15,
author = {Cliff B. Jones and
Ian J. Hayes and
Robert J. Colvin},
title = {Balancing expressiveness in formal approaches to concurrency},
journal = {Formal Aspects Comput.},
volume = {27},
number = {3},
pages = {475--497},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0310-2},
doi = {10.1007/S00165-014-0310-2},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/JonesHC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/KirchnerKPSY15,
author = {Florent Kirchner and
Nikolai Kosmatov and
Virgile Prevosto and
Julien Signoles and
Boris Yakobowski},
title = {Frama-C: {A} software analysis perspective},
journal = {Formal Aspects Comput.},
volume = {27},
number = {3},
pages = {573--609},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0326-7},
doi = {10.1007/S00165-014-0326-7},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/KirchnerKPSY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LaneveP15,
author = {Cosimo Laneve and
Luca Padovani},
title = {An algebraic theory for web service contracts},
journal = {Formal Aspects Comput.},
volume = {27},
number = {4},
pages = {613--640},
year = {2015},
url = {https://doi.org/10.1007/s00165-015-0334-2},
doi = {10.1007/S00165-015-0334-2},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LaneveP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LanoCR15,
author = {Kevin Lano and
Tony Clark and
Shekoufeh Kolahdouz Rahimi},
title = {A framework for model transformation verification},
journal = {Formal Aspects Comput.},
volume = {27},
number = {1},
pages = {193--235},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0313-z},
doi = {10.1007/S00165-014-0313-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LanoCR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LiP15,
author = {Yongjian Li and
Jun Pang},
title = {Formalizing provable anonymity in Isabelle/HOL},
journal = {Formal Aspects Comput.},
volume = {27},
number = {2},
pages = {255--282},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0315-x},
doi = {10.1007/S00165-014-0315-X},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LiP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LucanuR15,
author = {Dorel Lucanu and
Vlad Rusu},
title = {Program equivalence by circular reasoning},
journal = {Formal Aspects Comput.},
volume = {27},
number = {4},
pages = {701--726},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0319-6},
doi = {10.1007/S00165-014-0319-6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LucanuR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MaDZW15,
author = {Qian Ma and
Zhenhua Duan and
Nan Zhang and
Xiaobing Wang},
title = {Verification of distributed systems with the axiomatic system of {MSVL}},
journal = {Formal Aspects Comput.},
volume = {27},
number = {1},
pages = {103--131},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0303-1},
doi = {10.1007/S00165-014-0303-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MaDZW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MacedoO15,
author = {Hugo Daniel Macedo and
Jos{\'{e}} Nuno Oliveira},
title = {A linear algebra approach to {OLAP}},
journal = {Formal Aspects Comput.},
volume = {27},
number = {2},
pages = {283--307},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0316-9},
doi = {10.1007/S00165-014-0316-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MacedoO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MadeiraMBH15,
author = {Alexandre Madeira and
Manuel A. Martins and
Lu{\'{\i}}s Soares Barbosa and
Rolf Hennicker},
title = {Refinement in hybridised institutions},
journal = {Formal Aspects Comput.},
volume = {27},
number = {2},
pages = {375--395},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0327-6},
doi = {10.1007/S00165-014-0327-6},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MadeiraMBH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MammarF15,
author = {Amel Mammar and
Marc Frappier},
title = {Proof-based verification approaches for dynamic properties: application
to the information system domain},
journal = {Formal Aspects Comput.},
volume = {27},
number = {2},
pages = {335--374},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0323-x},
doi = {10.1007/S00165-014-0323-X},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MammarF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MotaFWL15,
author = {Alexandre Mota and
Adalberto Farias and
Jim Woodcock and
Peter Gorm Larsen},
title = {Model checking {CML:} tool development and industrial applications},
journal = {Formal Aspects Comput.},
volume = {27},
number = {5-6},
pages = {975--1001},
year = {2015},
url = {https://doi.org/10.1007/s00165-015-0342-2},
doi = {10.1007/S00165-015-0342-2},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/MotaFWL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/OlderogS15,
author = {Ernst{-}R{\"{u}}diger Olderog and
Mani Swaminathan},
title = {Structural transformations for data-enriched real-time systems},
journal = {Formal Aspects Comput.},
volume = {27},
number = {4},
pages = {727--750},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0306-y},
doi = {10.1007/S00165-014-0306-Y},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/OlderogS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PasqualinVP15,
author = {Douglas Pereira Pasqualin and
Juliana Kaizer Vizzotto and
Eduardo Kessler Piveta},
title = {Typed context awareness Ambient Calculus for pervasive applications},
journal = {Formal Aspects Comput.},
volume = {27},
number = {5-6},
pages = {885--916},
year = {2015},
url = {https://doi.org/10.1007/s00165-015-0339-x},
doi = {10.1007/S00165-015-0339-X},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PasqualinVP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PolyvyanyyROH15,
author = {Artem Polyvyanyy and
Marcello La Rosa and
Chun Ouyang and
Arthur H. M. ter Hofstede},
title = {Untanglings: a novel approach to analyzing concurrent systems},
journal = {Formal Aspects Comput.},
volume = {27},
number = {5-6},
pages = {753--788},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0329-4},
doi = {10.1007/S00165-014-0329-4},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PolyvyanyyROH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/RebihaMM15,
author = {Rachid Rebiha and
Arnaldo Vieira Moura and
Nadir Matringe},
title = {Generating invariants for non-linear loops by linear algebraic methods},
journal = {Formal Aspects Comput.},
volume = {27},
number = {5-6},
pages = {805--829},
year = {2015},
url = {https://doi.org/10.1007/s00165-015-0333-3},
doi = {10.1007/S00165-015-0333-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/RebihaMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Rosaci15,
author = {Domenico Rosaci},
title = {Finding semantic associations in hierarchically structured groups
of Web data},
journal = {Formal Aspects Comput.},
volume = {27},
number = {5-6},
pages = {867--884},
year = {2015},
url = {https://doi.org/10.1007/s00165-015-0337-z},
doi = {10.1007/S00165-015-0337-Z},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Rosaci15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SaidiABAB15,
author = {Mohand Yazid and
Djamil A{\"{\i}}ssani and
Louiza Bouallouche{-}Medjkoune and
Nassim Amrouche and
Kamel Bakli},
title = {Modeling and enhancement of the {IEEE} 802.11 {RTS/CTS} scheme in
an error-prone channel},
journal = {Formal Aspects Comput.},
volume = {27},
number = {1},
pages = {33--52},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0300-4},
doi = {10.1007/S00165-014-0300-4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SaidiABAB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SongT15,
author = {Fu Song and
Tayssir Touili},
title = {Model checking dynamic pushdown networks},
journal = {Formal Aspects Comput.},
volume = {27},
number = {2},
pages = {397--421},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0330-y},
doi = {10.1007/S00165-014-0330-Y},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SongT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SotudehM15,
author = {Gholamreza Sotudeh and
Ali Movaghar},
title = {Abstraction and approximation in fuzzy temporal logics and models},
journal = {Formal Aspects Comput.},
volume = {27},
number = {2},
pages = {309--334},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0318-7},
doi = {10.1007/S00165-014-0318-7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SotudehM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/TahaJDCK15,
author = {Safouan Taha and
Jacques Julliand and
Fr{\'{e}}d{\'{e}}ric Dadeau and
Kalou Cabrera Castillos and
Bilal Kanso},
title = {A compositional automata-based semantics and preserving transformation
rules for testing property patterns},
journal = {Formal Aspects Comput.},
volume = {27},
number = {4},
pages = {641--664},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0328-5},
doi = {10.1007/S00165-014-0328-5},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/TahaJDCK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/TarasyukTL15,
author = {Anton Tarasyuk and
Elena Troubitsyna and
Linas Laibinis},
title = {Integrating stochastic reasoning into Event-B development},
journal = {Formal Aspects Comput.},
volume = {27},
number = {1},
pages = {53--77},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0305-z},
doi = {10.1007/S00165-014-0305-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/TarasyukTL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/WoodcockJ15,
author = {Jim Woodcock and
Cliff B. Jones},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {27},
number = {5-6},
pages = {751--752},
year = {2015},
url = {https://doi.org/10.1007/s00165-015-0344-0},
doi = {10.1007/S00165-015-0344-0},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/WoodcockJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Zave15,
author = {Pamela Zave},
title = {A practical comparison of Alloy and Spin},
journal = {Formal Aspects Comput.},
volume = {27},
number = {2},
pages = {239--253},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0302-2},
doi = {10.1007/S00165-014-0302-2},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Zave15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ZeydaC15,
author = {Frank Zeyda and
Ana Cavalcanti},
title = {Laws of mission-based programming},
journal = {Formal Aspects Comput.},
volume = {27},
number = {2},
pages = {423--472},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0317-8},
doi = {10.1007/S00165-014-0317-8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/ZeydaC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ZhuHQB15,
author = {Huibiao Zhu and
Jifeng He and
Shengchao Qin and
Phillip J. Brooke},
title = {Denotational semantics and its algebraic derivation for an event-driven
system-level language},
journal = {Formal Aspects Comput.},
volume = {27},
number = {1},
pages = {133--166},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0309-8},
doi = {10.1007/S00165-014-0309-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ZhuHQB15.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.
retrieved on 2024-05-24 13:01 CEST from data curated 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:
