Bio-PEPA Software Authors: Federica Ciocchetta, Maria Luisa Guerriero, Vashti Galpin, Jane Hillston, Giulio Caravagna, Allan Clark, Andrea Degasperi, Adam Duguid, Kanimozhi Ellavarason, Stephen Gilmore, Laurence Loewe, Dimitrios Milios Cited in: 91 Publications (2008–2022) Related Software: PEPA; PRISM; BIOCHAM; BioNetGen; BlenX; LBS; … Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
CoCasl Software Authors: Mossakowski, Till; Roggenbach, Markus; Schröder, Lutz Cited in: 26 Publications (2003–2014) Related Software: CASL; Maude; Hets; CCSL; CafeOBJ; CIRC; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
Exp.Open Software Authors: Frédéric Lang Cited in: 10 Publications (2006–2021) Related Software: CADP; CAESAR_SOLVE; SPIN; E-LOTOS; LNT2LOTOS; CAESAR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
VPM Software Authors: Dániel Varró, András Pataricza Cited in: 4 Publications (2005–2007) Related Software: VIATRA2; PROGRES; AGG; AToM3; Fujaba; Graph transformation benchmarks; … Main Fields: Computer science (68-XX)
JACK Software Authors: Freitas, Leonardo; Cavalcanti, A.L.C.; Sampaio, Augusto Cited in: 1 Publication (2009) Related Software: Circus; ProBE; FDR2; Z; MOCHA; Z/EVES; … Main Fields: Computer science (68-XX)
New-HOPLA Software Authors: Winskel, Glynn; Zappa Nardelli, Francesco Cited in: 3 Publications (2004–2014) Related Software: HOPLA Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Celf Software Authors: Schack-Nielsen, Anders; Schürmann, Carsten Cited in: 2 Publications (2008–2018) Related Software: Twelf Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
DLC Software Authors: Hugues Evrard Cited in: 2 Publications (2015–2017) Related Software: MCGP; XTL; LNT2LOTOS; UNITY; Exp.Open; Reo; … Main Fields: Computer science (68-XX)
GRL Software Authors: Jebali F, Lang F, Mateescu R Cited in: 1 Publication (2016) Related Software: AADL; LNT2LOTOS; Esterel; Polychrony; CADP; SPIN; … Main Fields: Computer science (68-XX)
TVT Software Authors: Virtanen, Heikki; Hansen, Henri; Valmari, Antti; Nieminen, Juha; Erkkilä, Timo Cited in: 2 Publications (2004–2017) Related Software: CADP; mCRL2 Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
VERSA Software Authors: D. Clarke, I. Lee, H.-l. Xie Cited in: 2 Publications (1997–2017) Related Software: CARTS; Uppaal Main Fields: Computer science (68-XX)
CSP Software Authors: Hoare Cited in: 1 Publication (2010) Related Software: – Main Fields: Computer science (68-XX)