Search Results - "Theory of computation Models of computation Concurrency Process calculi"

THE LARGEST RESPECTFUL FUNCTION.

Authors: PARROW, JOACHIM WEBER, TJARK

Source: Logical Methods in Computer Science (LMCS); 2016, Vol. 12 Issue 2, p1-8, 8p

Subject Terms: BISIMULATION, MATHEMATICAL proofs, PROOF theory, MATHEMATICAL functions, COINDUCTION (Mathematics)

MODELLING MAC-LAYER COMMUNICATIONS IN WIRELESS SYSTEMS.

Authors: CERONE, ANDREA HENNESSY, MATTHEW MERRO, MASSIMO

Source: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 1, p1-59, 59p

Subject Terms: TELECOMMUNICATION, WIRELESS communications, MATHEMATICAL proofs, SYSTEMS theory, MATHEMATICAL models

GLOBALLY GOVERNED SESSION SEMANTICS.

Authors: KOUZAPAS, DIMITRIOS YOSHIDA, NOBUKO

Source: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 4, p1-45, 45p

Subject Terms: SEMANTICS, BISIMULATION, MATHEMATICAL optimization, DISTRIBUTED computing, SYSTEMS design

FULL ABSTRACTION FOR FAIR TESTING IN CCS.

Authors: HIRSCHOWITZ, TOM

Source: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 4, p1-80, 80p

Subject Terms: SEMANTICS, GAME theory, EQUIVALENCE (Linguistics), MATHEMATICAL proofs, ALGEBRA, BISIMULATION

A CONCURRENT PATTERN CALCULUS.

Authors: GIVEN-WILSON, THOMAS GORLA, DANIELE JAY, BARRY

Source: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 3, p1-46, 46p

Subject Terms: COMPUTER simulation, INFORMATION sharing, NATURAL language processing, SEQUENTIAL pattern mining, DATA structures, PATTERN matching

COMPOSITIONAL REASONING FOR EXPLICIT RESOURCE MANAGEMENT IN CHANNEL-BASED CONCURRENCY.

Authors: FRANCALANZA, ADRIAN DEVRIES, EDSKO HENNESSY, MATTHEW

Source: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 2, p1-51, 51p

Subject Terms: REASONING, RESOURCE management, SEMANTICS, MATHEMATICAL proofs, COMPUTER memory management

MODELLING PROBABILISTIC WIRELESS NETWORKS.

Authors: CERONE, ANDREA HENNESSY, MATTHEW

Source: Logical Methods in Computer Science (LMCS); 2013, Vol. 9 Issue 3, p1-68, 68p

Subject Terms: PROBABILITY theory, WIRELESS sensor networks, TOPOLOGY, DIRECTED graphs, NETWORK routing protocols, COMPUTER simulation