Daniel Yankelevich

From MaRDI portal
Person:672707

Available identifiers

zbMath Open yankelevich.daniel-nMaRDI QIDQ672707

List of research outcomes





PublicationDate of PublicationType
Yeast: A case study for a practical use of formal methods2022-11-02Paper
Read-write causality2022-08-18Paper
An algebraic view of interleaving and distributed operational semantics for CCS2022-08-16Paper
A parametric approach to localities2019-12-04Paper
Extended transition systems for parametric bisimulation2019-03-29Paper
Abstraction for a Career in Industry: A Praise for Ugo’s 65 Years2008-06-19Paper
https://portal.mardi4nfdi.de/entity/Q42334551999-03-18Paper
Location equivalence in a parametric setting1997-02-28Paper
Automatizing parametric reasoning on distributed concurrent systems1995-04-06Paper
Axiomatizing CCS, nets and processes1994-11-29Paper
https://portal.mardi4nfdi.de/entity/Q42963041994-06-19Paper

Research outcomes over time

This page was built for person: Daniel Yankelevich

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:672707&oldid=6050588"
Powered by MediaWiki