A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Real time process algebra with time-dependent conditions
2001
The Journal of Logic and Algebraic Programming
Preserved Fulltext
We add conditionals with time-dependent conditions to the real time process algebra with parametric timing from the framework of process algebras with timing presented by Baeten and Middelburg [Handbook ...
of Process Algebra, Elsevier, 2001, Chapter 10]. ...
Real time process algebra with absolute timing In this section, we review ACP sat , the real time process algebra with absolute timing introduced in Ref. ...
doi:10.1016/s1567-8326(01)00004-2
fatcat:q72gmhhz7jhp7jafelofwa5f54
Failure Trace Semantics for a Process Algebra with Time-outs
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2021 pre-print arXiv:2002.10814v4 fatcat:r45h2tn6fzcohi6eoec766nknaOther Versions
This paper extends a standard process algebra with a time-out operator, thereby increasing its absolute expressiveness, while remaining within the realm of untimed process algebra, in the sense that the ...
progress of time is not quantified. ...
Adding a time-out to CCSP The process algebra CCSP, just like CCS, CSP and ACP, is an untimed process algebra, meaning that its semantics abstracts from a quantification of the amounts of time that elapse ...
arXiv:2002.10814v5
fatcat:ohkb4d7zkncvtmsfflivuidbpy
Real-Time Process Algebra with Stochastic Delays
2007
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A real-time process algebra is presented that features stochastic delays governed by general distributions. ...
This enables an expansion law for the parallel operator, as well as modular process definitions. ...
The main goal of our paper is to deal with stochastic time as it is done in real-time process algebras [3, 19] , aiming at a conservative extension of real-time process algebras with stochastic delays ...
doi:10.1109/acsd.2007.23
fatcat:pesgrucg3fcvbfsq3woqorgvx4
Achieving Discrete Relative Timing with Untimed Process Algebra
2007
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this paper, we take another approach, considering the possibility to model timing aspects with an untimed process algebra. ...
In the past, many timed process algebras have been developed, using untimed process algebras as initial inspiration. ...
Acknowledgements We thank Wan Fokkink and the anonymous reviewers for their constructive comments. ...
doi:10.1109/iceccs.2007.13
dblp:conf/iceccs/Wijs07
fatcat:kkjmjkp4qnha7fxst6fepi4to4
Modelling Mutual Exclusion in a Process Algebra with Time-outs
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
I show that in a standard process algebra extended with time-outs one can correctly model mutual exclusion in such a way that starvation-freedom holds without assuming fairness or justness, even when one ...
In [Gla21] I extended standard process algebra with a time-out operator, thereby increasing its absolute expressiveness, while remaining within the realm of untimed process algebra, in the sense that ...
CCS with Time-outs Following [Gla21, Gla20a] , my process algebra will be CCS t , which is CCS, as presented in Section 4.3, but with α ranging over Act := A . ...
arXiv:2106.12785v1
fatcat:6qp2pxs5zbanhg623aq3nlbmgy
Lie Algebraic Discussions for Time-Inhomogeneous Linear Birth–Death Processes with Immigration
2014
Journal of statistical physics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
While time-inhomogeneous linear birth-death processes without immigration have been studied by using a generating function approach, the processes with immigration are here analyzed by Lie algebraic discussions ...
Analytical solutions for time-inhomogeneous linear birth-death processes with immigration are derived. ...
In this sense, the birth-death process without immigration could be the utmost time-inhomogeneous birth-death process with arbitrary time-dependent rates; even in the birth-death process with immigration ...
doi:10.1007/s10955-014-1068-x
fatcat:sed4vjagqvch3e7wnnlgfag5va
Failure Trace Semantics for a Process Algebra with Time-outs
2020
Logical Methods in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
This paper extends a standard process algebra with a time-out operator, thereby increasing its absolute expressiveness, while remaining within the realm of untimed process algebra, in the sense that the ...
progress of time is not quantified. ...
ALGEBRA WITH TIME-OUTS11:17 Vol. 17:2
Vol. 17:2 FAILURE TRACE SEMANTICS FOR A PROCESS ALGEBRA WITH TIME-OUTS 11:21
Vol. 17:2 FAILURE TRACE SEMANTICS FOR A PROCESS ALGEBRA WITH TIME-OUTS 11:23 ...
doi:10.23638/lmcs-17(2:11)2021
fatcat:r5f3zqkqebfknnw7dgtbe46awi
A process algebra of communicating shared resources with dense time and priorities
1997
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Algebra of communicating shared resources (ACSR) is a process algebra designed for the formal specification and manipulation of distributed systems with resources and real-time constraints. ...
Process algebras have been used successfully to define and prove correctness of distributed systems. More recently, there has been a lot of activity to extend their application to real-time systems. ...
Algebra of timed processes (ATP) [48] is another process algebra with discrete time. ...
doi:10.1016/s0304-3975(96)00229-0
fatcat:ccuinrra4ffedaz76d5qi6ozlq
Book reviews
2005
Mathematica Bohemica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Gaussian processes, III. Limit theorems, IV. Local times, V. Large and small deviations, VI. Density estimation, VII. Statistics via empirical process theory. ...
Let µ be a probability measure absolutely continuous with respect to γ. ...
doi:10.21136/mb.2005.134215
fatcat:h6wuchz5tnglthkfj7uwj5uxf4
Book reviews
2005
Mathematica Bohemica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The reviewed book consists of ten chapters written by 21 time scale specialists and provides an overview of the recent advances in the theory of time scales. ...
The second attempt to create modern structural algebra is associated with Bourbaki's works. ...
doi:10.21136/mb.2005.134209
fatcat:utlvm3cp5fgbjjt35u56axurra
Book reviews
2003
Mathematica Bohemica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
A d-dimensional Lévy process is a time-homogeneous Ê d -valued stochastic process (X t ) with independent increments, X 0 = 0, continuous in probability and with càdlàg paths almost surely. ...
The book under review aims at providing a reader with an overview of recent progress in both the theory of Lévy processes and their applications to physics and finance. ...
doi:10.21136/mb.2003.134041
fatcat:z5bsyirkgzcgfnd4wblzdalmqe
Book Reviews
1996
Mathematica Bohemica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Systems with imperfect information about the state of the system are investigated in Chapter 5 (continuous-time systems) and in Chapter 6 (discrete-time systems). ...
//""-optimal control problem with perfect or delayed state information, for both finite and infinite time horizon. Analogous problems for continuous-time systems are studied in Chapter 4. ...
doi:10.21136/mb.1996.125935
fatcat:p5e4ti4izvg67giil7qcmzey7a
Book Reviews
1997
Mathematica Bohemica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In the book under review a wide spectrum of techniques which are useful for establishing existence and studying properties of diffusion processes that appear in the Nagasawa theory is discussed. ...
Using these results the final Chapter 5 treats the index theory of multivariable Toeplitz operators: after reviewing the basics of /Ctheory of topological spaces and C*-algebras, the author introduces ...
doi:10.21136/mb.1997.126215
fatcat:77o4qb4rafefpf6rd5m44iy7dq
Book Review: Algebra Review
1916
Journal of Education
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Sampson has pro- vided a small book in which efficiency looms large when it comes to reviewing algebra. Here is a case in which it is a waste of time to review too much. ...
ALGEBRA REVIEW. By Charles H. Sampson, head of Technical Department, Huntington School, Boston. Yonkers-on-Hudson, New York: World Book Company. Cloth. Price, 40 cents. Postage, 8 cents. ...
doi:10.1177/002205741608402120
fatcat:qdlhbpkz75gq3d7tuqknxvwyiq
Book reviews
2002
Mathematica Bohemica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The book under review is devoted to the algebraic geometry of polynomial maps treated from the viewpoint of this conjecture, with special attention to applications. ...
Some preliminary material on spectral theory, semigroups and Markov processes is reviewed in five extensive appendices, however, the reader should have a good background in all these topics to follow the ...
doi:10.21136/mb.2002.133951
fatcat:d2isivtp7jeupg34t2yh3sysqq
« Previous
Showing results 1 — 15 out of 295,900 results