Daniel Yankelevich

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Yeast: a case study for a practical use of formal methods Lecture Notes in Computer Science	2022-11-02	Paper
Read-write causality Mathematical Foundations of Computer Science 1994	2022-08-18	Paper
An algebraic view of interleaving and distributed operational semantics for CCS Category Theory and Computer Science	2022-08-16	Paper
A parametric approach to localities Automata, Languages and Programming	2019-12-04	Paper
Extended transition systems for parametric bisimulation Automata, Languages and Programming	2019-03-29	Paper
Abstraction for a Career in Industry: A Praise for Ugo’s 65 Years Concurrency, Graphs and Models	2008-06-19	Paper
scientific article; zbMATH DE number 1264494 (Why is no real title available?)	1999-03-18	Paper
scientific article; zbMATH DE number 1264494 (Why is no real title available?)	1999-03-18	Paper
Location equivalence in a parametric setting Theoretical Computer Science	1997-02-28	Paper
Automatizing parametric reasoning on distributed concurrent systems Formal Aspects of Computing	1995-04-06	Paper
Axiomatizing CCS, nets and processes Science of Computer Programming	1994-11-29	Paper
scientific article; zbMATH DE number 591002 (Why is no real title available?)	1994-06-19	Paper

Research outcomes over time

This page was built for person: Daniel Yankelevich