Filters








295,900 Hits in 4.0 sec

Real time process algebra with time-dependent conditions

J.C.M. Baeten, C.A. Middelburg
2001 The Journal of Logic and Algebraic Programming  
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]

Rob van Glabbeek
2021 arXiv   pre-print
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

J. Markovski, E. P. de Vink
2007 Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)  
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

Anton Wijs
2007 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)  
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]

Rob van Glabbeek
2021 arXiv   pre-print
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

Jun Ohkubo
2014 Journal of statistical physics  
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  
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

Patrice Brémond-Grégoire, Insup Lee
1997 Theoretical Computer Science  
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  
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  
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  
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  
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  
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  
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  
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