go
From MaRDI portal
Software:27968
swMATH16096MaRDI QIDQ27968FDOQ27968
Author name not available (Why is that?)
Cited In (13)
- The Buffered π-Calculus: A Model for Concurrent Languages
- Title not available (Why is that?)
- Automated test case generation for the paxos single-decree protocol using a coloured Petri net model
- Sharing of Encrypted Files in Blockchain Made Simpler
- Refinement through restraint: bringing down the cost of verification
- Informational Braess’ Paradox: The Effect of Information on Traffic Congestion
- 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
- Incremental Analysis of Logic Programs with Assertions and Open Predicates
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
- Why does Women's fertility end in mid-life? Grandmothering and age at last birth
This page was built for software: go
