The monumental Late Bonze Age royal tomb of Seddin is located in the old morainic landscape Prignitz region, northeastern Germany. Together with other richly equipped burials and a row stone pits its direct vicinity, it provides evidence for presence an elite from nineth to sixth centuries BCE this region. Our map emphasizes well-chosen location relation spatial arrangement archaeological monum...

While a wide variety of agendas are used in legislative voting, the literature focuses almost exclusively on Euro-Latin and Anglo-American agendas. These two agendas share three features common to many agendas used in practice: they are non-repetitive in that every vote eliminates some alternatives from consideration; continuous in that alternatives continue to be contested until they are eithe...

It has long been recognised that standard process algebra has difficulty dealing with actions of different priority, such as for instance an interrupt action of high priority. Various solutions have been proposed. We introduce a new approach, involving the addition of “priority guards” to Milner’s process calculus CCS. In our approach, priority is unstratified, meaning that actions are not assi...

It has long been recognised that standard process algebra has difficulty dealing with actions of different priority, such as for instance an interrupt action of high priority. Various solutions have been proposed. We introduce a new approach, involving the addition of “priority guards” to Milner’s process calculus CCS. In our approach, priority is unstratified, meaning that actions are not assi...

Adding priorities to CCS is di cult, and involves two-stage operational semantics or other complications. By contrast, priorities can be added very simply to a calculus of broadcasting systems (CBS). The reason is the input/output distinction made in CBS, with output actions being autonomous. Priority makes sense only for autonomous actions. As in unprioritised CBS, both strong and weak bisimul...