tlooto
Sign up
Computer ScienceMathematics

Verification of time-bounded multiset rewriting properties

Tajana Ban Kirigin, Jesse Comer, M. Kanovich, A. Scedrov, Carolyn L. Talcott

2026.3.1Journal of Logical and Algebraic Methods in Programming

DOI: 10.1016/j.jlamp.2026.101124

Abstract

Abstract is not available.

Citation format

KIRIGIN, Tajana Ban, et al. Verification of time-bounded multiset rewriting properties. Journal of Logical and Algebraic Methods in Programming, 2026, 150: 101124.