Huimin Lin. A predicate spatial logic for mobile processes. Science in China Series F: Information Sciences, 47(3):394-408, 2004. [doi]
@article{Lin04-6, title = {A predicate spatial logic for mobile processes}, author = {Huimin Lin}, year = {2004}, doi = {10.1360/02yf0385}, url = {http://dx.doi.org/10.1360/02yf0385}, tags = {logic, mobile}, researchr = {https://researchr.org/publication/Lin04-6}, cites = {0}, citedby = {0}, journal = {Science in China Series F: Information Sciences}, volume = {47}, number = {3}, pages = {394-408}, }