2239 search results - page 275 / 448 » Computing with abstract matrix structures |
140
click to vote
FIDJI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. MoCha is an exogenous coordination middleware for distributed communication based on mobile channels. Channels allow anonymous, and point-to-point communication among nod...
126
Voted
GG
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Adhesive high-level replacement (HLR) categories and systems are introduced as a new categorical framework for graph transformation in a broad sense, which combines the w...
122
Voted
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Petri nets have been widely used to model and analyze concurrent systems. Their wide-spread use in this domain is, on one hand, facilitated by their simplicity and expres...
128
Voted
TPHOL
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
146
click to vote
AISC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie gr...