Cited in
(34)- scientific article; zbMATH DE number 7441269 (Why is no real title available?)
- Automated test case generation for the paxos single-decree protocol using a coloured Petri net model
- Incremental analysis of logic programs with assertions and open predicates
- Refinement through restraint: bringing down the cost of verification
- The buffered \(\pi\)-calculus: a model for concurrent languages
- Static trace-based deadlock analysis for synchronous Mini-Go
- DynaMIT
- Visual C#
- Cecil
- AUSPICE-R
- Eliom
- Akkaprof
- BPGen
- Paraperm
- ZooKeeper
- gradualizerDynamicSemantics
- Gopherlyzer
- TyPiCal
- iFogSim
- HEAAN
- IOzone
- YAFS
- Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21--23, 2016. Proceedings
- Exploiting parallelism in coalgebraic logic programming
- Computing race variants in message-passing concurrent programming with selective receives
- Efficient bootstrapping for approximate homomorphic encryption with non-sparse keys
- XFogSim
- FogNetSim++
- LPdoc
- Lattigo
- Informational Braess' paradox: the effect of information on traffic congestion
- POSEIDON
- Sharing of encrypted files in blockchain made simpler
- Why does Women's fertility end in mid-life? Grandmothering and age at last birth
This page was built for software: go
