Results 231 to 240 of about 509,427 (264)
Some of the next articles are maybe not open access.

A Spatial Logical Characterisation of Context Bisimulation

2007
In this paper, we present a spatial logic for higher order π-calculus. In order to prove that the induced logical equivalence coincides with context bisimulation, we present some new bisimulations, and prove the equivalence between these new bisimulations and context bisimulation.
openaire   +1 more source

Spatial Information in Context

2023
Matt Duckham   +2 more
openaire   +1 more source

Microscopic examination of spatial transcriptome using Seq-Scope

Cell, 2021
Yichen Si, Jun Hee Lee, Hyun Min Kang
exaly  

Home - About - Disclaimer - Privacy