Skip to search formSkip to main contentSkip to account menu

TAPAs model checker

TAPAS is a tool for specifying and analyzing concurrent systems, its aim is to support teaching of process algebras. Systems are described as process… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
BisimulationCalculus of communicating systemsCommunicating sequential processesFormal equivalence checking

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Can I have the leg and a bottle of red please? #tapas
2012
2012
Tasa-arvoa palkkaukseen. Havaintoja palkkausjärjestelmien kehittämisestä TAPAS-hankkeessa
2012
2012
Senor tapas: Establishing the feasibility of setting up a mobile events catering business in the South Wales area
2011
2011
Desarrollo planta piloto tapas
Los gestores de Mind and Motion S.A. crearon una tapa dispensadora hermetica de formulas activas, invento que se ha patentado y… 
2010
2010
IR Characterization of Tip-Functionalized Single-Wall Carbon Nanotubes
Vibrational frequencies of functionalized groups (−COOH, −CONH2, and −COOCH3) of tip-modified single-wall carbon nanotubes are… 
2010
2010
Diseño e implementación de un sistema de gestión de la calidad ISO 9001 : 2008 en una empresa de envases metálicos y tapas garra
2009
2009
Entre tapas e beijos: a violência conjugal como um fenômeno interacional
2008
2008
Ciencia y tapas
2008
2008
Bilbao: arte, tapas y vanguardia
2005
2005
Ensaladas y tapas
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)