×

Found 22 Software Packages (Results 1–22)

Pict

Software Authors:   Pierce, Benjamin C.; Turner, David N
Referenced in: 69 Publications (1998–2022)
Related Software: JoCaml; Maude; Oz; Erlang; MWB; Lolli; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

PiDuce

Software Authors:   Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca
Referenced in: 18 Publications (2006–2020)
Related Software: XPi; XDuce; COWS; XPath; CDuce; PIPER; …
Main Fields: Computer science (68-XX)

YAPA

Software Authors:   Baudet, Mathieu; Cortier, Véronique; Delaune, Stéphanie
Referenced in: 18 Publications (2009–2020)
Related Software: AVISPA; Akiss; Maude-NPA; ProVerif; OFMC; FAST; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Akiss

Software Authors:   Rohit Chadha, Vincent Cheval, Ștefan Ciobâcă, Steve Kremer
Referenced in: 15 Publications (2012–2021)
Related Software: AVISPA; TAMARIN; Apte; YAPA; scyther; Maude-NPA; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

TulaFale

Software Authors:   Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Pucella, Riccardo
Referenced in: 12 Publications (2004–2012)
Related Software: Spi2Java; ProVerif; AVISPA; AsmL; ASPIER; EasyCrypt; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Psi-calculi

Software Authors:   Jesper Bengtson
Referenced in: 11 Publications (2009–2020)
Related Software: Nominal Isabelle; Isabelle/HOL; Twelf; Isabelle; HYBRID; PoplMark; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SpiCO

Software Authors:   Kuttler, Céline; Lhoussaine, Cédric; Niehren, Joachim
Referenced in: 10 Publications (2007–2020)
Related Software: Bio-PEPA; BioNetGen; BlenX; PEPA; Dizzy; StochPy; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

occam-pi

Software Authors:   Welch, Peter H.; Barnes, Frederick R.M.
Referenced in: 6 Publications (2005–2021)
Related Software: Pict; KRoC; Boids; Intel TBB; Eraser; Cilk; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

TyPiCal

Software Authors:   Kobayashi, N.
Referenced in: 8 Publications (1985–2017)
Related Software: PIPER; Gopherlyzer; GitHub; go; RacerX; ABS; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

BioSPI

Software Authors:   –
Referenced in: 7 Publications (2004–2011)
Related Software: PRISM; MGS; Psim; P-Lingua; Dizzy; BioModels; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

XPi

Software Authors:   Acciai, Lucia; Boreale, Michele
Referenced in: 6 Publications (2008–2020)
Related Software: PiDuce; XDuce; XPath; CDuce; CC-Pi; COWS; …
Main Fields: Computer science (68-XX)

KRoC

Software Authors:   Fred Barnes; Peter Welch
Referenced in: 3 Publications (2002–2018)
Related Software: Handel-C; occam-pi; FDR3; Haskell; SPIN; Dafny; …
Main Fields: Computer science (68-XX); Mathematics education (97-XX)

JavaSPI

Software Authors:   Sisto, Riccardo; Bettassa Copet, Piergiuseppe; Avalle, Matteo; Pironti, Alfredo
Referenced in: 1 Publication (2018)
Related Software: MJ; AGVI; Bouncy Castle; UMLsec; Helios; TS#; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

New-HOPLA

Software Authors:   Winskel, Glynn; Zappa Nardelli, Francesco
Referenced 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)

CLF

Software Authors:   Watkins, Kevin; Cervesato, Iliano; Pfenning, Frank; Walker, David
Referenced in: 2 Publications (2007–2018)
Related Software: Nominal Isabelle; Agda; Abella; Isabelle/HOL
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PIC2LNT

Software Authors:   Mateescu, Radu; Salaün, Gwen
Referenced in: 2 Publications (2013)
Related Software: ProVerif; CADP; MWB; E-LOTOS; PRISM-games; BULL; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

ACVisualizer

Software Authors:   Ahmad, Raheel; Rahimi, Shahram
Referenced in: 1 Publication (2008)
Related Software: CLIPS; MWB
Main Fields: Computer science (68-XX)

apims

Software Authors:   Lasse Nielsen
Referenced in: 1 Publication (2015)
Related Software: F*; SPY; JBoss; SAVARA; Scribble; AIOCJ
Main Fields: Computer science (68-XX)

NUML

Software Authors:   Xu, Manwu; Lu, Jianfeng; Zeng, Fancong; Dai, Jinwen
Referenced in: 1 Publication (1995)
Related Software: Automath
Main Fields: Computer science (68-XX)

PICASSO

Software Authors:   Damien Zufferey; Thomas Wies; Thomas A. Henzinger
Referenced in: 1 Publication (2012)
Related Software: Lift
Main Fields: Computer science (68-XX)

Pistache

Software Authors:   Matiello, Pedro; de Melo, Ana C.V.
Referenced in: 1 Publication (2011)
Related Software: Pict; Scala; occam-pi
Main Fields: Computer science (68-XX)

SOL

Software Authors:   Hamana, Makoto
Referenced in: 1 Publication (2019)
Related Software: GHC; Maude; CafeOBJ; OBJ3
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)