Search results

...om/pdf/Hoare_hist.pdf | author=C.A.R. Hoare | title=An Axiomatic Basis for Computer Programming | journal=Communications of the ACM | volume=12 | number=10 | p Various subfields of computer science use varying, but mathematically precise, definitions of what it means for a ...

...323–342, 1983.</ref> and can be used as a model of [[concurrency (computer science)|concurrent]] processes like [[Petri nets]]. Communicating finite-state mac ...nicating hierarchical state machine''' is the coexistence of hierarchy and concurrency. This has been considered highly suitable as it signifies stronger interact ...

...itor4=Rozenberg G. | publisher=Springer | series=Lecture Notes in Computer Science | volume=3256 | pages=287&ndash;303 | year=2004 | doi=10.1007/978-3-540-302 ...and Müller, Jürgen and Plump, Detlef, Mathematical Structures in Computer Science, vol. 11, no. 05., pp. 637--688, 2001, Cambridge University Press</ref> ...

...session types''' are used to ensure correctness in [[Concurrency (computer science)|concurrent]] programs. They guarantee that messages sent and received betw ...n types are used to ensure desirable properties in [[Concurrency (computer science)|concurrent]] and [[Distributed computing|distributed]] systems, i.e. absen ...

...ate=6 September 2021 |publisher=Springer |series=Lecture Notes in Computer Science |volume=12842 |pages=74–91 |location=Cham |conference=Automated Reasoning w ...st1=Antti |date=1998 |publisher=Springer |series=Lecture Notes in Computer Science |volume=1491 |pages=429–528 |location=Berlin, Heidelberg |conference=Advanc ...

{{Expert needed|computer science|reason=contains buzzwords that should be explained in a less technical mann ...n Logic in Computer Science|first=Govert|last=van Drimmelen|publisher=IEEE Computer Society|isbn=0-7695-1884-2|year=2003|doi=10.1109/LICS.2003.1210060}}</ref> ...

...ete |journal=[[Theoretical Computer Science (journal)|Theoretical Computer Science]] |volume=5 |issue=2 |pages=179–182 |doi=10.1016/0304-3975(77)90005-6 |url= ...c and partial order models for concurrency |title=Geometry and Topology in Concurrency Theory GETCO '01 |pages=51–62 |chapter-url=http://www.brics.dk/NS/01/7/BRIC ...

...21 | conference=2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS) | arxiv=2104.12695}}</ref> [[Category:Concurrency (computer science)]] ...

...methods has been developed for detecting [[Concurrency (computer science)|concurrency]] errors (such as [[Race condition#Data race|data races]]) in [[Thread (com ...urrent programs]], a predictive technique is ''sound'' if it only predicts concurrency errors in ''feasible'' executions of the causal model of the observed trace ...

In [[computer science]], a '''channel system''' is a [[finite-state machine]] similar to [[commun ...issue=1–3|date = 17 March 2008 |pages=337–354|journal=Theoretical Computer Science|doi-access=free}}</ref>{{rp|337}} ...

...tion model for component composition]. Mathematical Structures in Computer Science 14(3):329--366, 2004.</ref><ref>Farhad Arbab: [https://dx.doi.org/10.1007/9 Reo has [[Semantics (computer science)|formal semantics]], which stand at the basis of its various formal verific ...

...directed algebraic topology finds applications in [[concurrency (computer science)]], [[network traffic control]], [[general relativity]], [[noncommutative g ...paths, represent the execution traces of the program. From the [[computer science]] point of view, however, the resulting pospaces have a severe drawback. Be ...

...ion in context of [[upper ontology]] and the inadequacy of serial (digital computer) modelling [http://www.cybsys.co.uk/ProtoforMeta.htm#axioms] Retrieved 9 Ju ...agreement or epistemological dependence to produce a "sharp-valued" social science with precision comparable to the results of the hard sciences. It was out o ...

...al [[Analytical Performance Modeling|performance model]] used to provide [[Computer performance|performance]] estimates of a given [[compute kernel]] or applic ...14-01-01|title=Cache-aware Roofline model: Upgrading the loft|journal=IEEE Computer Architecture Letters|volume=13|issue=1|pages=21–24|doi=10.1109/L-CA.2013.6| ...

...''' is an extension of [[modal logic]] capable of encoding properties of [[computer program]]s. ...ries over naturally to dynamic logic by interpreting worlds as states of a computer in the application to program verification, or states of our environment in ...

{{Short description|Concept in model checking (computer science)}} ...ense a drink until money has been entered" (a [[safety property]]) or "the computer program eventually terminates" (a [[liveness property]]). Fairness properti ...

...r to [[Synchronization (computer science)|synchronize]] other parts of a [[computer system]].{{sfn|Hou|Huang|2003|p=1}}<ref>{{cite web |title=Definition of ''H ...red list of the received messages. Once a message with a [[Timestamp-based concurrency control |timestamp]] later than the given marked time is received from ever ...

...Memory Database Systems |series=Communications in Computer and Information Science |date=2020|volume=1259 |pages=3–12 |doi = 10.1007/978-3-030-54623-6_1|isbn= ...briele|title=Continuous skyline queries on multicore architectures|journal=Concurrency and Computation: Practice and Experience|date=25 August 2016|volume=28|issu ...

In [[model checking]], a field of [[computer science]], a '''region''' is a [[convex polytope]] in <math>\mathbb R^d</math> for ...utomata: Semantics, Algorithms and Tools |series=Lecture Notes in Computer Science |date=2004 |volume=3098 |pages=87–124 |doi=10.1007/978-3-540-27755-2_3 |isb ...

...and Theory of Petri Nets and Concurrency|series=Lecture Notes in Computer Science|volume=7927|language=en|location=Berlin, Heidelberg|publisher=Springer|page ...