Eerke Boiten

From MaRDI portal
Person:1193745

Available identifiers

zbMath Open boiten.eerke-aDBLPb/EABoitenWikidataQ102257050 ScholiaQ102257050MaRDI QIDQ1193745

List of research outcomes





PublicationDate of PublicationType
Understanding, Explaining, and Deriving Refinement2022-03-02Paper
Editorial2022-01-11Paper
Refinement2018-11-30Paper
Diversity and adjudication2016-12-15Paper
Introducing extra operations in refinement2016-08-05Paper
Relational concurrent refinement. III: Traces, partial relations and automata2016-08-05Paper
Relational concurrent refinement: automata2016-08-01Paper
More relational concurrent refinement: traces and partial relations2014-03-26Paper
Unifying concurrent and relational refinement2013-08-19Paper
Incompleteness of relational simulations in the blocking paradigm2010-11-25Paper
The Logic of Large Enough2010-07-26Paper
Relational concurrent refinement. II: Internal operations and outputs2009-05-27Paper
Modelling Divergence in Relational Concurrent Refinement2009-02-24Paper
ZB 2005: Formal Specification and Development in Z and B2005-11-10Paper
Algebraic Methodology and Software Technology2005-08-25Paper
Relational concurrent refinement2005-02-08Paper
https://portal.mardi4nfdi.de/entity/Q44721842004-08-03Paper
https://portal.mardi4nfdi.de/entity/Q44721852004-08-03Paper
https://portal.mardi4nfdi.de/entity/Q44136702003-07-21Paper
A formal framework for viewpoint consistency2002-09-18Paper
Combining component specifications in Object-Z and CSP.2002-09-09Paper
https://portal.mardi4nfdi.de/entity/Q47903452002-01-01Paper
https://portal.mardi4nfdi.de/entity/Q27241772001-07-10Paper
https://portal.mardi4nfdi.de/entity/Q27210992001-07-01Paper
https://portal.mardi4nfdi.de/entity/Q47626582001-02-22Paper
Constructive consistency checking for partial specification in Z2000-11-22Paper
https://portal.mardi4nfdi.de/entity/Q44942512000-08-10Paper
https://portal.mardi4nfdi.de/entity/Q42506531999-11-02Paper
Strategies for consistency checking based on unification1999-03-30Paper
Specifying and refining internal operations in \(Z\)1999-03-09Paper
Improving recursive functions by inverting the order of evaluation1992-09-27Paper

Research outcomes over time

This page was built for person: Eerke Boiten