Search Results for protocols.

Yazar

Franke, Björn. editor.

Format:

Electronic Resources

Alıntı:

-- Towards a Scalable Framework for Context-Free Language Reachability -- Protocols by Default: Safe MPI Code

Yazar

Hunt, John. author.

Format:

Electronic Resources

Alıntı:

Exception Handling -- Python Modules and Packages -- Abstract Base Classes -- Protocols, Polymorphism and

Yazar

Liu, Shaoying. editor.

Format:

Electronic Resources

Alıntı:

-- Automatic Verification for Later-Correspondence of Security Protocols -- Combining Separation Logic and

Yazar

Lluch Lafuente, Alberto. editor.

Format:

Electronic Resources

Alıntı:

abstractions; communication protocols and behavioural types; actors and concurrent objects; tuple spaces; games

	{displayName}	{count}
{error}