Equational Abstractions Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 1 - Normal operator - Document - PDFSEARCH.IO

First Page	Meta Content
	Equational Abstractions Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 1 Add to Reading List Document Date: 2007-07-04 15:14:58 Open Document File Size: 253,57 KB Share Result on Facebook City Madrid / / Company Bendix / / Currency LTL / / / Facility University of Illinois / / IndustryTerm concurrent systems / termination tool / infinite state protocol / Minimal systems / bakery protocol / / Organization University of Illinois / Universidad Complutense de Madrid / National Science Foundation / Computer Science Department / / Person Nat / Ai / Narciso Mart / / Position Hb / / Product C-0130 / / ProgrammingLanguage Maude system / / Technology simulation / infinite state protocol / bakery protocol / / SocialTag Temporal logic Model theory Symbol Unification Modal logic Μ operator Normal distribution Logic Mathematical logic Linear temporal logic

Equational Abstractions Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 1Add to Reading List