go

swMATH16096MaRDI QIDQ27968FDOQ27968

Author name not available (Why is that?)

Cited In (13)

• Title not available (Why is that?)
• 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
• 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
• Informational Braess' paradox: the effect of information on traffic congestion
• 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