Eerke Boiten

Available identifiers

zbMath Open boiten.eerke-aDBLPb/EABoitenWikidataQ102257050 ScholiaQ102257050MaRDI QIDQ1193745

List of research outcomes

Publication	Date of Publication	Type
Understanding, Explaining, and Deriving Refinement	2022-03-02	Paper
Editorial	2022-01-11	Paper
Refinement	2018-11-30	Paper
Diversity and adjudication	2016-12-15	Paper
Introducing extra operations in refinement	2016-08-05	Paper
Relational concurrent refinement. III: Traces, partial relations and automata	2016-08-05	Paper
Relational concurrent refinement: automata	2016-08-01	Paper
More relational concurrent refinement: traces and partial relations	2014-03-26	Paper
Unifying concurrent and relational refinement	2013-08-19	Paper
Incompleteness of relational simulations in the blocking paradigm	2010-11-25	Paper
The Logic of Large Enough	2010-07-26	Paper
Relational concurrent refinement. II: Internal operations and outputs	2009-05-27	Paper
Modelling Divergence in Relational Concurrent Refinement	2009-02-24	Paper
ZB 2005: Formal Specification and Development in Z and B	2005-11-10	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
Relational concurrent refinement	2005-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4472184	2004-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4472185	2004-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4413670	2003-07-21	Paper
A formal framework for viewpoint consistency	2002-09-18	Paper
Combining component specifications in Object-Z and CSP.	2002-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4790345	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q2724177	2001-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q2721099	2001-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4762658	2001-02-22	Paper
Constructive consistency checking for partial specification in Z	2000-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4494251	2000-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4250653	1999-11-02	Paper
Strategies for consistency checking based on unification	1999-03-30	Paper
Specifying and refining internal operations in \(Z\)	1999-03-09	Paper
Improving recursive functions by inverting the order of evaluation	1992-09-27	Paper

Research outcomes over time

This page was built for person: Eerke Boiten