Search Results - "Concurrent and distributed programming"

Playing and learning with gamification: An in-class concurrent and distributed programming activity by Filev Maia, Rodrigo, Reis Graeml, Felipe

“…It seems that education is working fine, especially in several good and traditional Universities around the world. Nokia was also doing very well in a business…”
Get full text

Orderly communication in the Ambient Calculus by Amtoft, Torben, Kfoury, Assaf J., Pericas-Geertsen, Santiago M.

“… We state and prove a subject reduction property for our typed version of AC. Based on techniques borrowed from finite automata theory, type checking of fully type-annotated processes is shown to be decidable…”
Get full text