Back to Results
First PageMeta Content
Software engineering / Computing / Programming language theory / Type theory / Concurrent programming languages / Program analysis / Type system / Go / Sheaf / Orbifold / CurryHoward correspondence


A Formal Model of Service-Oriented Dynamic Object Groups I Einar Broch Johnsena,∗, Olaf Owea , Dave Clarkeb , Joakim Bjørka a b
Add to Reading List

Document Date: 2015-01-21 15:14:28


Open Document

File Size: 876,66 KB

Share Result on Facebook