Year of publication
Type of media
Type of material
Licence
Language
121–140 of 240 hits
Sort by:
Sort by:
-
Reasoning about Loops in Total and General Correctness
Springer Verlag | 2010|Keywords: Sequential Composition -
Equivalence of Uniform Key Agreement and Composition Insecurity
Free accessSpringer Verlag | 2010|Keywords: Sequential Composition -
Safe Commits for Transactional Featherweight Java
Springer Verlag | 2010|Keywords: Sequential Composition -
A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network
Springer Verlag | 2015|Keywords: Sequential Composition -
Guaranteeing Resource Bounds for Component Software
Free accessSpringer Verlag | 2005|Keywords: Sequential Composition -
LTS Semantics for Compensation-Based Processes
Springer Verlag | 2013|Keywords: Sequential Composition -
Deriving Probabilistic Semantics Via the ‘Weakest Completion’
Springer Verlag | 2004|Keywords: Sequential Composition -
Composition Implies Adaptive Security in Minicrypt
Free accessSpringer Verlag | 2006|Keywords: Sequential Composition -
A Coinductive Calculus for Asynchronous Side-Effecting Processes
Springer Verlag | 2011|Keywords: Sequential Composition -
Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets
IOS Press | 1996Keywords: sequential composition -
Symbolic Performance Prediction of Data-Dependent Parallel Programs
Springer Verlag | 2002|Keywords: Sequential Composition -
Sequential Composition, Action Prefixes and Process Prefix
NTIS | 1993|Keywords: Sequential composition -
Mathematics of Programming
Mathematical Laws Help Programmers Control the Complexity of TasksSpringer Verlag | 1993|Keywords: Sequential Composition
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.