Tajana Ban Kirigin | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Max Kanovich
11 publications
Andre Scedrov
10 publications
Vivek Nigam
10 publications
Carolyn Talcott
10 publications

research

∙ 05/07/2021

On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report

This paper develops a Multiset Rewriting language with explicit time for...

0 Max Kanovich, et al. ∙

research

∙ 11/12/2018

Compliance in Real Time Multiset Rewriting Models

The notion of compliance in Multiset Rewriting Models (MSR) has been int...

0 Max Kanovich, et al. ∙