We continue with the task of obtaining a unifying view of process semantics by considering in this case the logical characterization of the semantics. We start by considering the classic linear timebranching time spectrum developed by R.J. van Glabbeek. He provided a logical characterization of most of the semantics in his spectrum but, without following a unique pattern. In this paper, we pres...

This paper studies the descriptional complexity of multi-parallel grammars with respect to the number of nonterminals and selectors, and the length of these selectors. As a result, it proves that every recursively enumerable language is generated by a multi-parallel grammar with no more than seven nonterminals and four selectors of length five.

Kombucha is a fermented and often sweetened tea beverage that has become increasingly popular in the U.S. last decade. While it infused with fruits vegetables to enhance aroma flavor, unflavored kombucha itself distinctive sensory attributes influenced by multiple factors, including initial type, sugar concentration, fermentation temperature. How these different factors affect final flavor of b...

This is a pleading for Descriptive Geometry. From the very first, Descriptive Geometry is a method to study 3D geometry through 2D images thus offering insight into structure and metrical properties of spatial objects, processes and principles. The education in Descriptive Geometry provides a training of the students’ intellectual capability of space perception. Drawings are the guide to geomet...

Protection of privacy in databases has become of increasing importance. While a number of techniques have been proposed to query databases while preserving privacy of individual records in the database, very little is done to define a measure on how much privacy is lost after statistical releases. We suggest a definition based on information theory. Intuitively, the privacy loss is proportional...

This article refers to:A Descriptive Examination of Prisonization through the Lens Post-Exoneration Offending