165,340 Hits in 2.7 sec

Separation Logic Semantics for Communicating Processes

Tony Hoare, Peter O'Hearn
2008 Electronical Notes in Theoretical Computer Science  
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes.  ...  It extends separation logic by an operator for separation in time as well as separation in space.  ...  Introduction This paper reports on work bringing together semantic ideas lying behind Concurrent Separation Logic (CSL, [18, 4] ) and Communicating Sequential Processes (CSP, [11] ).  ... 
doi:10.1016/j.entcs.2008.04.050 fatcat:4weh3jbybzdudjc3blpkrwwm7e

A Resource Analysis of the π-calculus

Aaron Turon, Mitchell Wand
2011 Electronical Notes in Theoretical Computer Science  
We sketch an integration of separation logic with refinement calculus for processes ( §4).  ...  The two-layer setup is reminiscent of Brookes's semantics for concurrent separation logic [3, 2] , and allows us to blend message passing and imperative interpretations of actions.  ...  Acknowledgement We are grateful to Paul Stansifer and Tony Garnock-Jones for feedback on drafts of this paper, and to the anonymous reviewers who provided guidance on presentation.  ... 
doi:10.1016/j.entcs.2011.09.028 fatcat:rj76tzmhvbcknjroizcbzhodja

A resource analysis of the pi-calculus [article]

Aaron Turon, Mitchell Wand
2011 arXiv   pre-print
The close connections with the model theory of separation logic (in particular, with Brookes's action trace model) give rise to a logic of processes and resources.  ...  We give a new treatment of the pi-calculus based on the semantic theory of separation logic, continuing a research program begun by Hoare and O'Hearn.  ...  Acknowledgements We are grateful to Paul Stansifer and Tony Garnock-Jones for feedback on drafts of this paper, and to the anonymous reviewers who provided guidance on presentation.  ... 
arXiv:1105.0966v1 fatcat:nkxauhpjdjgz7fp4xmk7jwc7j4

Ontological Foundations of Natural Language Communication in Multiagent Systems [chapter]

Luc Schneider, Jim Cunningham
2003 Lecture Notes in Computer Science  
A semantic ontology can serve as the basis for the specification of the meaning, as the logical form, of agent messages couched in natural language.  ...  the same intended model for the semantics of this language.  ...  This ontology is the basis for the semantics of the natural language fragment used by the humans to communicate with their non-human peers.  ... 
doi:10.1007/978-3-540-45224-9_189 fatcat:odeg5rqukzdo5ah5cfsgepdtra

Cumulative subject index volumes 60–63

1984 Information and Control  
heap construction, 61, 114 Languages 2-calculus, semantics, effectiveness analysis, 62, 36 communicating processes, semantics, 61, 202 context-free oo-, fixed-point character- ization, 61, 247  ...  1 Semantics -based approach to program modularity, 60, 138 2-calculus, effectiveness analysis, 62, 36 communicating processes, 61, 202 Sentences universal relational, spectra, algorithmic determination  ... 
doi:10.1016/s0019-9958(84)80017-0 fatcat:cnws7odqjre33jn42n3t72h46y

SOPHIE - A Conceptual Model for a Semantic Choreography Framework

Sinuhé Arroyo, Alistair Duke
2005 IEEE International Conference on Web Services  
This position paper defines a conceptual model for SOPHIE, a choreography engine for Semantic Web Services following a Semantic Service-Oriented Architecture.  ...  However they constitute incomplete solutions, either because they lack of support of semantics, have a tight relation to the underlying communication framework, or mix structural, behavioral and operational  ...  For example Petri nets, temporal logic or transaction logic can be used instead of Abstract State Machines (ASMs) for the behavioral model, or OWL instead of WSML for the semantic one.  ... 
dblp:conf/icws/ArroyoD05 fatcat:uboxtcgt6vdtphtjqt7ngexm5e


Farida Huseynova
2019 World Science  
Nevertheless, they do not have the same logical understanding of natural language yet as humans have and the interpretation capabilities of a language understanding system depending on the semantic theory  ...  Today, language understanding systems do quite many useful things with processing natural language, even they are able to process the data much faster than humans are.  ...  on a semantical logic, which is a main bias in translation process.  ... 
doi:10.31435/rsglobal_ws/30092019/6695 fatcat:cvjaumgu4vdpvb644id7vexcuu


Oleksandra M. Akmaldinova, Olga O. Pysmenna
2008 Vìsnik Nacìonalʹnogo Avìacìjnogo Unìversitetu  
terminological referential editions as a result of fundamental classifying work "Business English in Aviation" (in two versions: English-Ukrainian and Ukrainian-English) to be used by aviation specialists for  ...  Logical and semantic processes are pursued mainly in active drilling of linguistic material.  ...  and semantic processes but also as a result of associations.  ... 
doi:10.18372/2306-1472.35.1580 fatcat:im4p3w5snjeahmu676cn2vjjjm

Towards the Realistic Natural Language Representations

Petr Sojka
2013 Recent Advances in Slavonic Natural Languages Processing  
Acknowledgements This work has been partially supported by the European Union through its Competitiveness and Innovation Programme (Information and Communications Technologies Policy Support Programme,  ...  Workflow of language processing is usually layered into separate modules of morphology, syntax, and semantics, forgetting the primary communication goal of discourse via natural language.  ...  Corpora linguists collected the evidence that language use is very variational and diverse, not fitting the boundaries of syntactic, grammatical, semantic structures and logical formalisms.  ... 
dblp:conf/raslan/Sojka13 fatcat:bb2ldloq4zaz5ps5xpqz6q4f7u

Page 5177 of Mathematical Reviews Vol. , Issue 87i [page]

1987 Mathematical Reviews  
(SF-HELS-C) 87i:68045 On the suitability of trace semantics for modular proofs of communicating processes. Theoret. Comput. Sci. 39 (1985), no. 1, 47-68.  ...  5177 Analogous results are presented for grammars with erasing rules. Jiirgen Dassow (Magdeburg) Amir, Amihood (1-TUFT) Separation in nonlinear time models.  ... 

Combining ECA Rules with Process Algebras for the Semantic Web

Erik Behrends, Oliver Fritzen, Wolfgang May, Franz Schenk
2006 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06)  
The approach is currently under implementation in a General ECA Framework for the Web and the Semantic Web.  ...  Using a rule markup with cleanly distinguished rule components allows for such a compositional approach.  ...  Processes defined by Process Algebras can e.g. be used for the specification of communication, i.e., for basic protocols, or for defining the behavior of interacting (Semantic) Web Services (note that  ... 
doi:10.1109/ruleml.2006.8 dblp:conf/ruleml/BehrendsFMS06 fatcat:thwkn63dwjacjjxaej6fckjssi

Page 28 of American Society of Civil Engineers. Collected Journals Vol. 11, Issue CP1 [page]

1997 American Society of Civil Engineers. Collected Journals  
Process Algebra and CCS Process algebras are a class of languages for specifying con- currency in communicating systems that can be translated into labeled transition systems.  ...  In the process algebra calculus of communicating systems (CCS) (Milner 1993), processes are built from a set of atomic actions A, which may be thought of as communication.  ... 

Implicitness, Logical Form and Arguments

Martina Blečić
2021 Croatian Journal of Philosophy  
Reconciling ordinary language and logic provides formal guidelines for rational communication, giving strength and order to ordinary communication and content to logical schemas.  ...  On the basis of that idea, I propose that we can ascribe logical proprieties to what is communicated using ordinary language and suggest a continuum between semantic phenomena such as explicatures and  ...  A semantic approach that ascribes a logical form to each sentence separately, and out of context, cannot explain the logical relations dependent on context.  ... 
doi:10.52685/cjp.21.63.3 fatcat:h36p2rzhbfdqrectry4tiiwe6e

A Formal Verification Method of Compilation Based on C Safety Subset

Yu Tan, Dianfu Ma, Lei Qiao, Balakrishnan Nagaraj
2021 Wireless Communications and Mobile Computing  
In this paper, an axiom system of first-order logic and special axioms are introduced.  ...  A compiler is an important tool for system development, and its safety and reliability have an important impact on the development of safety-critical software.  ...  Separation logic is an extension of Hoare logic, which eliminates the possibility of sharing by providing logical connectives to express separation and corresponding deduction rules, and can describe the  ... 
doi:10.1155/2021/8352267 fatcat:fh37nybzqvef5b36rjdz3sa5wy

Promotion of Ontological Comprehension: Exposing Terms and Metadata with Web 2.0

Andrew Gibson, Katy Wolstencroft, Robert Stevens
2007 The Web Conference  
We describe the processes of communication between human agents and ontologies as Ontology Comprehension.  ...  Good communication between the human agents involved in the life cycle of ontologies is essential for the ontologist to encode the right knowledge in the ontology.  ...  Ontology Metadata and Meta-Ontological statements have been separated from the Logical Statements and has been exposed to a community using Web 2.0 principles.  ... 
dblp:conf/www/GibsonWS07 fatcat:wpdgh4vtgjgataeti6ovu5kt4y
« Previous Showing results 1 — 15 out of 165,340 results