Frédéric Lang

Available identifiers

zbMath Open lang.fredericWikidataQ102330187 ScholiaQ102330187MaRDI QIDQ282107

List of research outcomes

Publication	Date of Publication	Type
Compositional verification of priority systems using sharp bisimulation	2024-06-28	Paper
Compositional verification of concurrent systems by combining bisimulations	2024-03-14	Paper
Equivalence checking 40 years after: a review of bisimulation tools	2023-07-26	Paper
From LOTOS to LNT	2022-11-09	Paper
Compositional verification of concurrent systems by combining bisimulations	2022-06-20	Paper
Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities	2021-11-10	Paper
Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous	2017-03-20	Paper
Formal modelling and verification of GALS systems using GRL and CADP	2016-09-20	Paper
Verification of \(\mathrm{EB}^3\) specifications using CADP	2016-05-12	Paper
Compositional verification of asynchronous concurrent systems using CADP	2015-06-24	Paper
Partial model checking using networks of labelled transition systems and Boolean equation systems	2013-10-16	Paper
Addressed term rewriting systems: syntax, semantics, and pragmatics (extended abstract)	2013-09-25	Paper
On explicit substitution with names	2013-08-01	Paper
Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems	2012-06-29	Paper
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes	2011-05-19	Paper
Translating FSP into LOTOS and networks of automata	2010-12-17	Paper
Computer Aided Verification	2010-04-20	Paper
Refined Interfaces for Compositional Verification	2009-03-11	Paper
Translating FSP into LOTOS and Networks of Automata	2009-03-06	Paper
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format	2009-02-24	Paper
Explaining the lazy Krivine machine using explicit substitution and addresses	2007-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q4738368	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4472262	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4422085	2003-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4506396	2000-09-18	Paper

Research outcomes over time

This page was built for person: Frédéric Lang