Testing semantics: Connecting processes and process logics

Testing semantics: Connecting processes and process logics

Čájet eará veršuvnnaid (1)

Bibliográfalaš dieđut
Váldodahkkit:	Pavlovic, D, Mislove, M, Worrell, J
Materiálatiipa:	Conference item
Almmustuhtton:	Springer Verlag 2006

Geahča maid

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

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

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

Duality for Labelled Markov Processes
Dahkki: Mislove, M, et al.
Almmustuhtton: (2004)

Observational Logic and Process Semantics (Abstract)
Dahkki: Abramsky, S
Almmustuhtton: (1989)

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

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

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

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

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

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

Measuring the probabilistic powerdomain
Dahkki: Martin, K, et al.
Almmustuhtton: (2002)

Measuring the probabilistic powerdomain
Dahkki: Martin, K, et al.
Almmustuhtton: (2002)

On coalgebras and final semantics
Dahkki: Worrell, J
Almmustuhtton: (2000)

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

Logic, semantics, ontology
Dahkki: Heck, Richard Gustave
Almmustuhtton: (2009)

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

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

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

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

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

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

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

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

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

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

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

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

Logical deviance and semantic competence
Dahkki: Timothy Williamson
Almmustuhtton: (2007-04-01)

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

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

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

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

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

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

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

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

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

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

On process rate semantics.
Dahkki: Cardelli, L
Almmustuhtton: (2008)