Daniel Yankelevich

From MaRDI portal



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!

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


Research outcomes over time


This page was built for person: Daniel Yankelevich