Testing semantics: Connecting processes and process logics

Testing semantics: Connecting processes and process logics

Show other versions (1)

Bibliographic Details
Main Authors:	Pavlovic, D, Mislove, M, Worrell, J
Format:	Conference item
Published:	Springer Verlag 2006

Similar Items

Testing semantics: Connecting processes and process logics
by: Pavlovic, D, et al.
Published: (2006)

Labelled Markov Processes as Generalised Stochastic Relations
by: Mislove, M, et al.
Published: (2007)

Labelled Markov Processes as Generalised Stochastic Relations
by: Mislove, M, et al.
Published: (2007)

Duality for Labelled Markov Processes
by: Mislove, M, et al.
Published: (2004)

Observational Logic and Process Semantics (Abstract)
by: Abramsky, S
Published: (1989)

Quantales‚ Observational Logic and Process Semantics
by: Abramsky, S, et al.
Published: (1993)

Separation Logic Semantics for Communicating Processes
by: Hoare, T, et al.
Published: (2008)

On Process−algebraic Extensions of Metric Temporal Logic
by: Haase, C, et al.
Published: (2010)

Categorial grammar : logical syntax, semantics, and processing /
by: 506476 Morrill, Glyn V.
Published: (c201)

Categorical logic of concurrency and interaction I. Synchronous processes
by: Pavlovic, D
Published: (1995)

Logical-semantic definition of a production process digital twin
by: A. V. Rechkalov, et al.
Published: (2023-02-01)

Measuring the probabilistic powerdomain
by: Martin, K, et al.
Published: (2002)

Measuring the probabilistic powerdomain
by: Martin, K, et al.
Published: (2002)

On coalgebras and final semantics
by: Worrell, J
Published: (2000)

Functional connectivity of brain networks during semantic processing in older adults
by: Amanda Garcia, et al.
Published: (2022-10-01)

Logic, semantics, ontology
by: Heck, Richard Gustave
Published: (2009)

VALIDITY OF THE CONNECTION INTER-LEXICAL A-SEMANTICS IN THE COGNITIVE MODEL OF PROCESSING PRAXIS
by: P. G. Gómez, et al.
Published: (2011-07-01)

Classical mathematical logic : the semantic foundations of logic /
by: Epstein, Richard L., 1947-
Published: (2006)

Atypical Brain Connectivity During Pragmatic and Semantic Language Processing in Children with Autism
by: Amparo V. Márquez-García, et al.
Published: (2024-10-01)

Mathematical logic in the human brain: semantics.
by: Roland M Friedrich, et al.
Published: (2013-01-01)

Neural Coupling between Interhemispheric and Frontoparietal Functional Connectivity during Semantic Processing
by: Takahiro Soshi
Published: (2023-11-01)

From the history of logic. Semantics of homonymy in Porphyry’s logic
by: Garin Sergey Vyacheslavovich
Published: (2016-10-01)

Coalgebraic semantics of modal logics: An overview
by: Kupke, C, et al.
Published: (2011)

Coalgebraic semantics of modal logics: An overview
by: Kupke, C, et al.
Published: (2011)

Fuzzy logic and the semantic web /
by: Sanchez, Elie, 1944-
Published: (2006)

Combined Distributional and Logical Semantics
by: Mike Lewis, et al.
Published: (2024-07-01)

Bialgebraic Semantics for Logic Programming
by: Filippo Bonchi, et al.
Published: (2015-03-01)

Semantical Considerations on Modal Logic
by: Saul A. Kripke
Published: (2023-04-01)

Logical deviance and semantic competence
by: Timothy Williamson
Published: (2007-04-01)

Semantic Enterprise Architecture Oriented Test Case Generation for Business process
by: M. Rahmanian, et al.
Published: (2022-07-01)

Correction: Mathematical Logic in the Human Brain: Semantics.
by: Roland M. Friedrich, et al.
Published: (2013-01-01)

On metric temporal logic and faulty turing machines
by: Ouaknine, J, et al.
Published: (2006)

Safety metric temporal logic is fully decidable
by: Ouaknine, J, et al.
Published: (2006)

On the decidability of Metric Temporal Logic
by: Ouaknine, J, et al.
Published: (2005)

Some Recent Results in Metric Temporal Logic
by: Ouaknine, J, et al.
Published: (2008)

Verification of two-variable logic revisited
by: Benedikt, M, et al.
Published: (2012)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
by: Sewon Park, et al.
Published: (2024-06-01)

Nicolai Vasiliev’s Imaginary Logic and Semantic Foundations for the Logic of Assent
by: Werner Stelzner
Published: (2014-10-01)

Semantic connection set-based massive RDF data query processing in Spark environment
by: Jiuyun Xu, et al.
Published: (2019-11-01)

On process rate semantics.
by: Cardelli, L
Published: (2008)