| 1. |
|
|
| 2. |
- Jonsson, Bengt
(författare)
-
A fully abstract trace model for dataflow networks
- 1988. - 1
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- A dataflow network consists of nodes that communicate over perfect FIFO channels. For dataflow networks containing only deterministic nodes, a simple and elegant semantic model has been presented by Kahn. However, for nondeterministic networks, the straight-forward generalization of Kahn's model is not compositional. We present a compositional model for nondeterministic networks, which is fully abstract, i.e., it has added the least amount of extra information to Kahn's model which is necessary for attaining compositionality. The model is based on traces.
|
|
| 3. |
|
|
| 4. |
- Jonsson, Bengt, et al.
(författare)
-
Deciding bisimulation equivalences for a class of non-finite-state programs
- 1989. - 1
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- Traditionally, many automatic program verification techniques are applicable only to finite-state programs. In this paper we show how to extend some verification techniques to infinite-state programs that may read, store, and write data but not perform any other computations. We present algorithms for deciding strong equivalence and observation equivalence, defined by bisimulations (as in CCS), between such programs. These algorithms have major applications in verification of communication protocols. The equivalence problems are shown to be NP-hard in the size of the programs.
|
|
| 5. |
- Jonsson, Mats, 1939, et al.
(författare)
-
Orientation of DNA during gel electrophoresis studied with linear dichroism spectroscopy
- 1988
-
Ingår i: Biopolymers. - : Wiley. - 0006-3525 .- 1097-0282. ; 27:3, s. 381-414
-
Tidskriftsartikel (refereegranskat)abstract
- A method for in situ study of orientation of DNA during gel electrophoresis has been developed. Linear dichroism spectra measured by this phase-modulation technique can sensitively and selectively detect orientation of DNA during electrophoretic migration in gel. [Measurement of “electrophoretic orientation” was first reported in 1985 by B. Åkerman, M. Jonsson, and B. Nordén (1985) (J. Chem. Soc. Chem. Commun. 422–423)]. Restriction fragments of duplex DNA of lengths in the ranges of 300–2319 base pairs (bp) and 4361–23130 bp have been studied in 5% polyacrylamide and 1% agarose gels, respectively. The fragments become preferentially oriented with the DNA helix axis parallel to the migration direction. In agarose the orientation is found to increase sigmoidally, and in polyacrylamide, linearly, with the electric field strength, within the field ranges accessible to measurement (0–40 and 5–40 V/cm, respectively). In both types of gels a considerable increase in orientation with length of DNA was observed. Compared to dipole orientation in electric fields, the electrophoretic orientation is high: orientation factor S = 0.027 in agarose for 23130 bp at 10 V/cm and S = 0.004 in polyacrylamide for 2319 bp at 10 V/cm. In addition to orientation of DNA, the electrophoresis also leads to orientation effects in the gel structure owing to Joule heating. In agarose there is also an effect that is associated with the migrating DNA zones and that produces different orientations of the gel at the front and rear parts of a zone. Evidence is presented that this effect is due to a DNA-induced electroosmotic flow causing a contraction of the gel in the front of the zone and an expansion in the rear. The experimental results on DNA orientation are compared with the reptation theories for gel electrophoresis. The theory of Lumpkin et al. [O. J. Lumpkin, P. Dejardin, and B. H. Zimm (1985) Biopolymers24, 1573–1593] predicts no orientation length dependence, but it does predict a shape of the field dependence that resembles the shape observed in agarose. The theory of Slater and Noolandi [G. W. Slater and J. Noolandi (1986) Biopolymers25, 431–454] predicts an orientational length dependence that is an order of magnitude less than the experimental one, and a field dependence that agrees neither with the sigmoidal shape observed in agarose nor with the linear dependence in polyacrylamide.
|
|
| 6. |
- Nordén, Bengt, 1945, et al.
(författare)
-
New Techniques for Aligning Molecules
- 1988
-
Ingår i: Polarized spectroscopy of ordered systems; edited by B. Samori' and E.W. Thulstrup (Proceedings of the NATO Advanced Study Institute on New Developments in Polarized Spectroscopy of Ordered Systems, Rimini, Italy, October 11-23, 1987). - 9027727848 ; , s. 197-209
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)
|
|
| 7. |
|
|
| 8. |
|
|
| 9. |
|
|
